( en | de | ru )

 

Disambiguierung von "Baalen, Jeffrey Van"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
JOSIE: An Integration of Specialized Representation and Reasoning Tools.

, , und . SIGART Bull., 2 (3): 101-107 (1991)

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.

Andreas Baalen

Jeffrey Johnson

Jeffrey Gaynor

Jeffrey Donahue

jeffrey Wimmer

 

Weitere Publikationen von Autoren mit dem selben Namen

Overview of an Approach to Representation Design., und . AAAI, Seite 392-397. AAAI Press / The MIT Press, (1988)Automated Protocol Analysis in Maude., und . FAABS, Volume 2699 von Lecture Notes in Computer Science, Seite 68-78. Springer, (2002)The Role of Reversible Grammars in Translating Between Representation Languages., und . KR, Seite 562-571. Morgan Kaufmann, (1994)META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems., und . KBSE, Seite 2-10. IEEE Computer Society, (1995)Steps towards a theory of representation design.. Massachusetts Institute of Technology, Cambridge, MA, USA, (1988)ndltd.org (oai:dspace.mit.edu:1721.1/39952).Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems., und . LOPSTR, Volume 1559 von Lecture Notes in Computer Science, Seite 61-70. Springer, (1998)Amphion/NAV: Deductive Synthesis of State Estimation Software., , , , , , , , und . ASE, Seite 395-399. IEEE Computer Society, (2001)Automated Procedure Construction for Deductive Synthesis., und . Autom. Softw. Eng., 12 (4): 393-414 (2005)The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures.. KR, Seite 514-525. Morgan Kaufmann, (1991)Experience Report on Automated Procedure Construction for Deductive Synthesis., und . ASE, Seite 69-. IEEE Computer Society, (2002)