Tableau, Tableauresolution und Tableaugraphresolution: ein neuer Weg zur automatischen Deduktion
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Li, Wanlin (VerfasserIn)
Format: Abschlussarbeit Buch
Sprache:German
Veröffentlicht: Frankfurt am Main u.a. Lang 1991
Schriftenreihe:Europäische Hochschulschriften / 41 6
Schlagworte:
Beschreibung:107 S.
ISBN:3631440014

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!