Autor der Publikation

Subsumption, a Sometimes Undervalued Procedure.

, , und . Computational Logic - Essays in Honor of Alan Robinson, Seite 3-40. The MIT Press, (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Aligning Multiple RNA Sequences., und . Automated Reasoning: Essays in Honor of Woody Bledsoe, Seite 231-248. Kluwer Academic Publishers, (1991)Accessing the SEED genome databases via Web services API: tools for programmers., , , , , , , und . BMC Bioinform., (2010)Metabolic Pathway Interface to Molecular Biology Databases., , , , , und . SSDBM, Seite 238-241. IEEE Computer Society, (1998)Parallel Logic Programming for Numeric Applications., , , und . ICLP, Volume 225 von Lecture Notes in Computer Science, Seite 375-388. Springer, (1986)ITP at Argonne National Laboratory., , und . CADE, Volume 230 von Lecture Notes in Computer Science, Seite 697-698. Springer, (1986)Logic Programming and Genetic Sequence Analysis: a Tutorial.. JICSLP, Seite 32-34. MIT Press, (1992)Scheduling OR-Parallelism: An Argonne Perspective., , , , , und . ICLP/SLP, Seite 1590-1605. MIT Press, (1988)A Practical Design Methodology for the Implementation of IMS Databases, Using the Entity-Relationship Model., , und . SIGMOD Conference, Seite 9-21. ACM Press, (1980)Subsumption, a Sometimes Undervalued Procedure., , und . Computational Logic - Essays in Honor of Alan Robinson, Seite 3-40. The MIT Press, (1991)A Portable Environment for Research in Automated Reasoning., und . CADE, Volume 170 von Lecture Notes in Computer Science, Seite 43-52. Springer, (1984)