<<The>> efficiency of theorem proving strategies a comparative and asymptotic analysis

Bibliographische Detailangaben

1. Verfasser:	Plaisted, David A. (VerfasserIn)
Weitere Verfasser:	Zhu, Yunshan (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Braunschweig u.a. Vieweg 1999
Ausgabe:	2., rev. ed.
Schriftenreihe:	Computational intelligence
Schlagworte:	Automatisches Beweisverfahren
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!