Diese Seite auf DeutschCette page en françaisQuesta pagina in italiano
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/jamnik

Mateja Jamnik (jamnik)

Contributions to 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.