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

Counter Examples in Semantic Tableaux

Wissensverarbeitung für Montageaufgaben in virtuellen und realen Umgebungen

Textproduktion als intentionaler, benutzerorientierter Prozess

Implizite und explizite Induktionsbeweisverfahren

Induction on Non-Freely Generated Data-Types

Fehlersuche in grossen Datenmengen unter Verwendung der in den Daten vorhandenen Redundanz

A Solution for the Semantic Unification Problem to Reuse Knowledge-Based Systems

Aktives Sehen zur Echtzeitobjektverfolgung

Modellierung von und mit Relationen

Automatische Selbstkorrektur bei der inkrementellen Generierung gesprochener Sprache unter Realzeitbedingungen