- Hauptmenü-

Kategorienanzeige

MAB

¬The¬ efficiency of theorem proving strategies: a comparative and asymptotic analysis
Kategorie	Beschreibung
036a	XA-DE
037b	eng
100	Plaisted, David A.
104a	Zhu, Yunshan
331	¬The¬ efficiency of theorem proving strategies
335	a comparative and asymptotic analysis
410	Braunschweig ; Wiesbaden
412	Vieweg
425	1997
425a	1997
433	VI, 167 S : graph. Darst
451b	Computational intelligence
501	Literaturverz. S. 155 - 160
540a	ISBN 3-528-05574-X
700	\|*68T15
700	\|68-02
700b	\|511.3
700c	\|QA76.9.A96
700d	\|28
700g	1270877453 ST 285
902s	209175370 Automatisches Beweisverfahren
907s	209175370 Automatisches Beweisverfahren
012	060155418
081	Plaisted, David A. <P>: ¬The¬ efficiency of theorem proving strategies
100	44 298
107	ST 300 P698