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

Development of Correct Transformation Schemata for Prolog Programs., und . LOPSTR, Volume 1463 von Lecture Notes in Computer Science, Seite 263-281. Springer, (1997)Making Sense of Requirements, Sooner., und . Computer, 39 (10): 112-114 (2006)Optimizing the V&V process for critical systems., , und . GECCO, Seite 1139. ACM, (2007)An Adversarial Planning Approach to Go., , , und . Computers and Games, Volume 1558 von Lecture Notes in Computer Science, Seite 93-112. Springer, (1998)The Strangest Thing About Software., , und . Computer, 40 (1): 54-60 (2007)Proofs About Lists Using Ellipsis., und . LPAR, Volume 1705 von Lecture Notes in Computer Science, Seite 1-12. Springer, (1999)Abstract: Proof Planning with Program Schemas.. LOPSTR, Volume 1559 von Lecture Notes in Computer Science, Seite 313-315. Springer, (1998)System Description: Proof Planning in Higher-Order Logic with Lambda-Clam., , und . CADE, Volume 1421 von Lecture Notes in Computer Science, Seite 129-133. Springer, (1998)Applying adversarial planning techniques to Go., , , und . Theor. Comput. Sci., 252 (1-2): 45-82 (2001)Semi-supervised Word Sense Disambiguation with Neural Models., , , , und . COLING, Seite 1374-1385. ACL, (2016)