Katalog der Deutschen Nationalbibliothek

On spatial reference frames in qualitative motion representation

Qualitative and quantitative representations of locomotion and their application in robot navigation

Qualitative motion representation in egocentric and allocentric frame of reference

A componentware methodology based on process patterns

A graphical description technique for communication in software architectures

Component oriented redesign of the CASE-tool autofocus

Efficiently testing for unboundedness and m-handed assembly

Proceedings of the 5th International Workshop on Verification in New Orientations : May 16 - 19, Rottach-Egern, Germany

Qualitative representation of the course of motion : cognitive and psychophysical foundations

Towards a formalization of the unified modeling language

Using the syslab method : a case study

Lernen, Adaption und Selbstorganisation in verteilten intelligenten Systemen

State transition diagrams

The field of software architecture

Ranking of graphs

AVL trees revisited : a case study in SPECTRUM

Die funktionale Essenz von HDMS-A

The differential fixpoint operator with subsumption

CIP-systems user's guide

Integrierte, adaptive Bildanalyse

Standardannahmen bei der qualitativen Repräsentation räumlichen Wissens

CL-TB, an allegro common lisp programming interface for TransBase

The design and implementation of TOPSYS : Version 1.0

Advanced matching in vision and artificial intelligence : proceedings of the ESPRIT workshop ; Munich, 5th - 6th June 1990

NF2UI: eine NF2-Benutzerschnittstelle für SQL-Datenbanksystem

Sprouts : Formalisierung eines topologischen Spiels

Combining deduction by certainty with the power of magic

ESPRIT - 415 Deliverable D16, PARTHEO 6 : full first order logic parallel inference machine - language and design

ESPRIT 415, deliverable D 15, PARTHEO/6 : parallel automated theorem prover based on the connection method for full first order logic ; implementation and performance

Mathematische Logik

PARTHEO and FP2: Design of a parallel inference machine

Plan generation by linear proofs : on semantics

SETHEO : a high performance theorem prover

The logic programming language LOP

Formal program construction by transformations computer aided, intuition guided programming

Compiling exploratory and goal directed deduction into sloppy delta iteration

DBA: efficient intelligent search in deductive databases

The database system MERKUR

Erfahrungsbericht über den Einsatz von ULTRIX-32

The Munich project CIP

Vol. 2. The program transformation system CIP-S. Pt. 1. Formal specification : (tentative version)

MARS - technische Beschreibung

Der Kleinrechnerverbund als Alternative zur heutigen Grossrechner-Anwendung in der industriellen Datenverarbeitung an Hand einer Fallstudie

Das Projekt Betriebssystem BSM

TUM INFO

The Munich project CIP