( en | de | ru )

 

Disambiguierung von "Giunchiglia, Fausto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem.

, , , und . J. Autom. Reason., 19 (3): 319-346 (1997)

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

A New Method for Testing Decision Procedures in Modal Logics., , und . CADE, Volume 1249 von Lecture Notes in Computer Science, Seite 264-267. Springer, (1997)FUR: Understanding functional reasoning., , , und . Int. J. Intell. Syst., 4 (4): 431-457 (1989)ML Systems: A Proof Theory for Contexts., und . J. Log. Lang. Inf., 11 (4): 471-518 (2002)Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem., , , und . J. Autom. Reason., 19 (3): 319-346 (1997)Reasoning Theories., , und . J. Autom. Reason., 26 (3): 291-331 (2001)Relation path embedding in knowledge graphs., , , , und . Neural Comput. Appl., 31 (9): 5629-5639 (2019)Improved Automata Generation for Linear Temporal Logic., , und . CAV, Volume 1633 von Lecture Notes in Computer Science, Seite 249-260. Springer, (1999)Program Tactics and Logic Tactics., und . LPAR, Volume 822 von Lecture Notes in Computer Science, Seite 16-30. Springer, (1994)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)Semantic Matching., , und . Encyclopedia of Database Systems (2nd ed.), Springer, (2018)