Tableau, Tableauresolution und Tableaugraphresolution ein neuer Weg zur automatischen Deduktion

Karlsruhe, Univ., Diss., 1991

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Li, Wanlin (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Frankfurt am Main u.a. Lang 1991
Schriftenreihe:	Europäische Hochschulschriften : Reihe 41 6
Schlagworte:	Automatisches Beweisverfahren
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!