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

Presenting Inequations in Mathematical Proofs., und . Inf. Sci., 116 (1): 3-23 (1999)A unifying logical framework for Reason Maintenance.. Saarland University, Saarbrücken, Germany, (1996)Omega: Towards a Mathematical Assistant., , , , , , , , , und 3 andere Autor(en). CADE, Volume 1249 von Lecture Notes in Computer Science, Seite 252-255. Springer, (1997)A Unifying Logical Framework for Reason Maintenance.. ECSQARU, Volume 747 von Lecture Notes in Computer Science, Seite 113-120. Springer, (1993)A Resolution Calculus for a Logic Based on Vaguely Defined Predicates.. ECAI, Seite 268-273. (1990)Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving., , , , , , , und . SC²@SYNASC, Volume 1804 von CEUR Workshop Proceedings, Seite 32-38. CEUR-WS.org, (2016)Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs., und . IJCAI (2), Seite 959-964. Morgan Kaufmann, (1997)