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

Employing external reasoners in proof planning., und . Electr. Notes Theor. Comput. Sci., 23 (3): 440-450 (1999)Recognition of Handwritten Mathematical Characters on Whiteboards Using Colour Images., und . Document Analysis Systems, Seite 91-95. IEEE Computer Society, (2014)Integrating Computer Algebra into Proof Planning., , und . J. Autom. Reasoning, 21 (3): 327-355 (1998)Ω-ANTS: a blackboard architecture for the integration of reasoning techniques into proof planning.. Saarland University, Saarbrücken, Germany, (2001)Chemical structure recognition: a rule-based approach., , und . DRR, Volume 8297 von SPIE Proceedings, Seite 82970E. SPIE, (2012)Bridging Theorem Proving and Mathematical Knowledge Retrieval., , und . Mechanizing Mathematical Reasoning, Volume 2605 von Lecture Notes in Computer Science, Seite 277-296. Springer, (2005)Polyfilling Accessible Chemistry Diagrams.. ICCHP (1), Volume 9758 von Lecture Notes in Computer Science, Seite 43-50. Springer, (2016)Computing with abstract matrix structures., , und . ISSAC, Seite 325-332. ACM, (2009)Abstract matrices in symbolic computation., und . ISSAC, Seite 318-325. ACM, (2006)Comparing Approaches to the Exploration of the Domain of Residue Classes., , und . J. Symb. Comput., 34 (4): 287-306 (2002)