PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Kraan, Ina"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Middle-Out Reasoning for Synthesis and Induction.

, , und . J. Autom. Reasoning, 16 (1-2): 113-145 (1996)

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.

Ina Maier

Ina Maier University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Implementing Z in Isabelle., und . ZUM, Volume 967 von Lecture Notes in Computer Science, Seite 355-373. Springer, (1995)Mollusc: A General Proof-Development Shell for Sequent-Based Logics., , , und . CADE, Volume 814 von Lecture Notes in Computer Science, Seite 826-830. Springer, (1994)A Framework for Program Development Based on Schematic Proof., , , und . IWSSD, Seite 162-171. IEEE Computer Society, (1993)Using the Rippling Heuristic in Set Membership Proofs.. ZUM, Volume 1212 von Lecture Notes in Computer Science, Seite 135-147. Springer, (1997)Automatic Abduction of Qualitative Models., , und . AAAI, Seite 723-728. AAAI Press / The MIT Press, (1992)Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof., , , und . LOPSTR, Seite 27-45. Springer, (1991)Logic Program Synthesis via Proof Planning., , und . LOPSTR, Seite 1-14. Springer, (1992)Middle-Out Reasoning for Synthesis and Induction., , und . J. Autom. Reasoning, 16 (1-2): 113-145 (1996)Logical Frameworks as a Basis for Verification Tools: A Case Study., und . KBSE, Seite 36-43. IEEE Computer Society, (1995)Middle-Out Reasoning for Logic Program Synthesis., , und . ICLP, Seite 441-455. MIT Press, (1993)