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

Automatic Learning in Proof Planning., , und . ECAI, Seite 282-286. IOS Press, (2002)Investigating Airplane Safety and Security Against Insider Threats Using Logical Modeling., und . IEEE Symposium on Security and Privacy Workshops, Seite 304-313. IEEE Computer Society, (2016)A Study of Structural and Parametric Learning in XCS., und . Evolutionary Computation, 14 (1): 1-19 (2006)Insider Threats and Auctions: Formalization, Mechanized Proof, and Code Generation., , und . JoWUA, 8 (1): 44-78 (2017)An Introduction to Mechanized Reasoning., , und . CoRR, (2016)VCG - Combinatorial Vickrey-Clarke-Groves Auctions., , , und . Archive of Formal Proofs, (2015)Resource Guided Concurrent Deduction., , , und . ARW, Volume 32 von CEUR Workshop Proceedings, CEUR-WS.org, (2000)Heuristics for Resolution in Propositional Logic.. KI, Volume 5803 von Lecture Notes in Computer Science, Seite 656-663. Springer, (2009)Omega: Towards a Mathematical Assistant., , , , , , , , , und 3 andere Autor(en). CADE, Volume 1249 von Lecture Notes in Computer Science, Seite 252-255. Springer, (1997)On the Translation of Higher-Order Problems into First-Order Logic.. ECAI, Seite 145-149. John Wiley and Sons, Chichester, (1994)