ISBNs beginnend mit 978-3-89838-xxx-x

Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen

Incremental Partial Deduction

Lazy Generation of Induction Hypotheses and Patching Faulty Conjectures

Simulierte Gestalt-Erkennung in Präsentationsgrafiken

Grafische Wissensakquisitionssysteme und ihre Generierung

Parallelization of Search-based Systems by Static Partitioning with Slackness

Ein Multi-Agentensystem zur Transportplanung und -steuerung bei Speditionen mit Trampverkehr

Integration von Spracherkennung und Sprachverstehen

Struktur und Bedeutung temporaler Konstituenten in einem sprachverstehenden Dialogsystem

Graphembasierte On-line-Erkennung fliessender Handschrift