Connection tableau calculi with disjunctive constraints:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Ibens, Ortrun (VerfasserIn)
Format: Buch
Sprache:German
Veröffentlicht: Sankt Augustin Infix 1999
Schriftenreihe:Dissertationen zur künstlichen Intelligenz 217
Schlagworte:
Online-Zugang:Inhaltsverzeichnis
Beschreibung:Zugl.: München, Techn. Univ., Diss., 1999
Beschreibung:XIX, 214 S. graph. Darst.
ISBN:3896012177

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis