Author of the publication

INFORMATIK~2: Vorlesung im Grundstudium

. http://www.mathematik.uni-jena.de/www/fakultaet/beckstein/ss2000-inf2.html, (June 2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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