The efficiency of theorem proving strategies : a comparative and asymptotic analysis /

The efficiency of theorem proving strategies : a comparative and asymptotic analysis /

Show other versions (3)

Bibliographic Details
Main Author:	Plaisted, David A
Other Authors:	Zhu, Yunshan
Format:	Book
Language:	English
Published:	Braunschweig : Vieweg, 1999
Edition:	2nd rev. ed
Series:	Computational intelligence
Subjects:	Automatic theorem proving

Internet

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number:	QA76.9.A96.P553 1999

Duke University

Holdings details from Duke University
Call Number:	QA76.9.A96 P553 1999

Dartmouth College

Holdings details from Dartmouth College
Call Number:	QA76.9.A96 P553 1999