Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Proposal for Automating Diagrammatic Reasoning in Continuous Domains., , und . Diagrams, Volume 1889 von Lecture Notes in Computer Science, Seite 286-299. Springer, (2000)Dr.Doodle: A Diagrammatic Theorem Prover., , und . IJCAR, Volume 3097 von Lecture Notes in Computer Science, Seite 331-335. Springer, (2004)X575: Writing Rengas with Web Services., und . CC-NLG, Seite 27-30. Association for Computational Linguistics, (2016)Using Animation in Diagrammatic Theorem Proving., , , und . Diagrams, Volume 2317 von Lecture Notes in Computer Science, Seite 46-60. Springer, (2002)The Importance of Applying Computational Creativity to Scientific and Mathematical Domains., , , , , , , und . ICCC, Seite 250-257. Association for Computational Creativity (ACC), (2019)An Experimental Comparison of Diagrammatic and Algebraic Logics., , , und . Diagrams, Volume 2980 von Lecture Notes in Computer Science, Seite 432-434. Springer, (2004)On Differences between the Real and Physical Plane., , und . Diagrams, Volume 2980 von Lecture Notes in Computer Science, Seite 29-31. Springer, (2004)Dr.Doodle: A Diagrammatic Theorem Prover.. IJCAR Doctoral Programme, Volume 106 von CEUR Workshop Proceedings, CEUR-WS.org, (2004)