( en | de | ru )

 

Disambiguierung von "Green, Ian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers.

, , und . CADE, Volume 1632 von Lecture Notes in Computer Science, Seite 127-141. Springer, (1999)

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.

Michael Green

Günter Green

David Green

Harold Green

Georg Green

 

Weitere Publikationen von Autoren mit dem selben Namen

Coloured Rippling: An Extension of a Theorem Proving Heuristic., , , , und . ECAI, Seite 85-89. John Wiley and Sons, Chichester, (1994)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)Automation of Diagrammatic Reasoning., , und . IJCAI (1), Seite 528-533. Morgan Kaufmann, (1997)On Automating Diagrammatic Proofs of Arithmetic Arguments., , und . J. Log. Lang. Inf., 8 (3): 297-321 (1999)Planning Equational Verification in CCS., , und . ASE, Seite 43-52. IEEE Computer Society, (1998)A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers., , und . CADE, Volume 1632 von Lecture Notes in Computer Science, Seite 127-141. Springer, (1999)Higher-Order Annotated Terms for Proof Search., und . TPHOLs, Volume 1125 von Lecture Notes in Computer Science, Seite 399-413. Springer, (1996)Using Abstraction to Automate Program Improvement by Transformation.. AAAI, Seite 317-322. AAAI Press / The MIT Press, (1991)Extensions to the Estimation Calculus., , und . LPAR, Volume 1705 von Lecture Notes in Computer Science, Seite 258-272. Springer, (1999)Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm., , und . ASE, Seite 2-9. IEEE Computer Society, (1997)