Autor der Publikation

On the Complexity of Generalized Horn Clause Intuionistic Logic.

, und . WLP, Volume 90 von GMD Report, Seite 115-124. (2000)

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

An Application-Independent Support System for Assumption-based Temporal Reasoning, und . Proc.~of the 1994 Workshop on Temporal Representation and Reasoning (TIME-94), Florida AI Workshops and Symposiums (FLAIRS-94), Pensacola Beach, Florida, (Mai 1994)A Structuralistic Approach to Ontologies., , und . KI, Volume 5803 von Lecture Notes in Computer Science, Seite 363-370. Springer, (2009)Structure, function, and behaviour of computational models in systems biology., , , und . BMC Syst. Biol., (2013)INFORMATIK~2: Vorlesung im Grundstudium. http://www.mathematik.uni-jena.de/www/fakultaet/beckstein/ss2000-inf2.html, (Juni 2000)Towards a Semantic Description of Bio-Models: Meaning Facets - A Case Study., , und . SMBM, Volume 177 von CEUR Workshop Proceedings, CEUR-WS.org, (2006)FORK: A System for Object- and Rule-Oriented Programming., , und . ECOOP, Volume 276 von Lecture Notes in Computer Science, Seite 253-264. Springer, (1987)Distributed Plan Maintenance for Scheduling and Execution., , und . PuK, Volume SWP-94-01 von SEKI Working Paper, Seite 20-33. Universität und DFKI Kaiserslautern, (1994)How to formalise the meaning of a bio-model: a case study., , und . BMC Syst. Biol., 1 (S-1): P28 (2007)Begründungsverwaltung - Grundlagen, Systeme und Algorithmen.. Teubner-Texte zur Informatik Teubner, (1996)On the Complexity of Generalized Horn Clause Intuionistic Logic., und . WLP, Volume 90 von GMD Report, Seite 115-124. (2000)