The efficiency of theorem proving strategies
Subtitle: a comparative and asymptotic analysis
By: David A. Plaisted, Yunshan Zhu.
Contributors: Zhu, Yunshan.
Series: Computational intelligence
Publisher: Vieweg
Published: 1997
Place of publication: Braunschweig
Language: eng
Number of pages: 167
Subjects: Automatic theorem proving.
Notes: Includes bibliographical references and index.