The efficiency of theorem proving strategies a comparative and asymptotic analysis

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Plaisted, David A. (VerfasserIn)
Weitere Verfasser:	Zhu, Yunshan (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Braunschweig, Wiesbaden Vieweg 1997
Schriftenreihe:	Computational intelligence
Schlagworte:	Automatisches Beweisverfahren
Online Zugang:	Cover Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!