Gerber, Siegmar Automaten und Formale Sprachen. Grundkurs Theoretische Informatik | 1997 |
Gerber, Siegmar Mengentheoretisch-algebraische Grundlagen. Grundkurs Theoretische Informatik | 1997 |
Gerber, Siegmar Grundkurs Praktische Informatik - Einführung in die digitale Informationsverarbeitung | 1997 |
Apel, Joachim; Stückrad, Jürgen; Tworzewski, Piotr; Winiarski, Tadeusz Term Bases for Multivariate Interpolation of Hermite Type. | 1997 |
Wolter, Frank All finitely axiomatizable subframe logics containing the provability logic CSM are decidable | 1997 |
Wolter, Frank; Zakharyaschev, Michael On the relation between intuitionistic and classical modal logics | 1997 |
Weede, André Möglichkeiten der Software-Wiederverwendung durch komponentenbasierte Anwendungsentwicklung in einem Versicherungsunternehmen | 1997 |
Wolter, Frank Fusions of Modal Logics revisited | 1997 |
Wagner, Gerd Artificial Agents and Logic Programming | 1997 |
Wagner, Gerd A Logical Reconstruction of Fuzzy Inference in Databases and Logic Programs | 1997 |
Wagner, Gerd Multi-Level Security in Multiagent Systems | 1997 |
Wagner, Gerd Conceptual Foundations of Artificial Agents | 1997 |
Stöhr, Thomas Ein Simulationsansatz zur Bewertung paralleler Shared-Disk-Datenbanksysteme | 1997 |
Suzuki, Yasuhito; Wolter, Frank; Zakharyaschev, Michael Speaking about transitive frames in propositional languages | 1997 |
Sosna, Dieter Document Version Management Using an Adapted Segment Tree | 1997 |
Spruth, Wilhelm G.; Hering, Klaus; Haupt, Reiner; Petri, Udo Zwischenbericht zur Arbeit im DFG-Projekt | 1997 |
Rogler, Frank; Dötsch, Volker Das Konzept der Therapievollständigkeit medizinischer Wissensbasen | 1997 |
Ramsch, Jan Kopplung des GIS ARCINFO mit relationalen DBS zur Realisierung des ATKIS-Modells (Amtliches Topographisch-Kartographisches Infor | 1997 |
Ramsch, Jan; Sosna, Dieter Temporale Datenmodelle und Metainformationssysteme für GIS | 1997 |
Ramsch, Jan; Sosna, Dieter Das Metainformationssystem DST für ATKIS | 1997 |
Rahm, Erhard Informatikforschung an der Universität Leipzig | 1997 |
Rahm, Erhard Goal-oriented performance control for transaction processing | 1997 |
Müller, Robert Ein graph- und objektorientiertes Datenbank- Modell für die Kinderonkologie | 1997 |
Müller, Robert The CliniCon Framework for Context Representation in Electronic Patient Records | 1997 |
Müller, R.; Sergl, M.; Nauerth, U.; Schoppe, D.; Pommerening, K.; Dittrich, H.-M. TheMPO: A Knowledge-Based System for Therapy Planning in Pediatric Oncology | 1997 |
