Department Informatik

Higher-order multi-valued resolution (1999) Kohlhase M, Scheja O Journal article, Original article System description: MathWeb, an agent-based communication layer for distributed automated theorem proving (1999) Franke A, Kohlhase M Conference contribution, Original article Agent-oriented integration of distributed mathematical services (1999) Franke A, Kohlhase M, Sorge V Journal article, Original article Building a Hospital Information System: Design Considerations Based on Results from a Europe-wide Vendor Selection Process (1999) Lenz R, Kuhn K, Blaser R Journal article, Original article Betriebssystembaukasten (1999) Schröder-Preikschat W Journal article Distributed Graph Transformation with Application to Visual Design of Distributed Systems (1999) Taentzer G, Koch M, Fischer I, Volle V Book chapter / Article in edited volumes Describing Neural Networks with Graph Transformations (1999) Fischer I Thesis Translating diagrams (1999) Minas M Other publication type Learning of Domain Dependent Knowledge in Semantic Networks (1999) Deinzer F, Fischer J, Ahlrichs U, Nöth E Conference contribution, Conference Contribution Active Knowledge Based Scene Analysis (1999) Paulus D, Ahlrichs U, Heigl B, Denzler J, Hornegger J, Niemann H Conference contribution, Conference Contribution