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

Bibliographic Details

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