Cette page en françaisQuesta pagina in italianoThis page in English
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/green-i

Ian Green (green-i)

Beiträge zu Philosophie.ch

No contributions yet

Bibliography

    Jamnik, Mateja, Bundy, Alan and Green, Ian. 1999. “On Automating Diagrammatic Proofs of Arithmetic Arguments.” Journal of Logic, Language, and Information 8(3): 297–321.