Cover Image

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

Show other versions (1)
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.
Description
Physical Description:vii, 170 pages : illustrations ; 22 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3528155744