Automated reasoning with analytic tableaux and related methods: international conference ; TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002 ; proceedings
Gespeichert in:
Bibliographische Detailangaben
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2002
Schriftenreihe:Lecture notes in computer science 2381 : Lecture notes in artificial intelligence
Schlagworte:
Beschreibung:X, 339 S. graph. Darst.
ISBN:3540439293

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!