( en | de | ru )

 

Disambiguierung von "Giunchiglia, Fausto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reasoning Theories.

, , und . J. Autom. Reason., 26 (3): 291-331 (2001)

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.

Fausto Orestano

Fausto Carrasco

Fausto Orestano

Fausto Orestano

Fausto Guzzetti

 

Weitere Publikationen von Autoren mit dem selben Namen

Semantic Matching., , und . Encyclopedia of Database Systems (2nd ed.), Springer, (2018)Improved Automata Generation for Linear Temporal Logic., , und . CAV, Volume 1633 von Lecture Notes in Computer Science, Seite 249-260. Springer, (1999)A Semantic-Enabled Engine for Mobile Social Networks., , und . ESWC (Satellite Events), Volume 7955 von Lecture Notes in Computer Science, Seite 298-299. Springer, (2013)Program Tactics and Logic Tactics., und . LPAR, Volume 822 von Lecture Notes in Computer Science, Seite 16-30. Springer, (1994)Some Basic Mechanisms for Common Sense Reasoning About Stories Environments., , und . IJCAI, Seite 72-74. William Kaufmann, (1983)Abstract Theorem Proving., und . IJCAI, Seite 372-377. Morgan Kaufmann, (1989)Reflection in Constructive and Non-constructive Automated Reasoning., und . META, Seite 123-140. MIT Press, (1988)Recognizing Hospital Care Activities with a Coat Pocket Worn Smartphone, , , , , und . (Oktober 2014)Introduction to the Special Volume on Reformulation., und . Artif. Intell., 162 (1-2): 3-5 (2005)Kyoto Common LISP: A High Level Language Implementation of Common LISP on General Purpose Machines.. COMPCON, Seite 124-129. IEEE Computer Society, (1987)