Buy Used and New YunshanZhu Books

The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)

by David A. Plaisted, Yunshan Zhu

ISBN 13: 9783528155742

Format: Paperback (178 pages)
Publisher: Springer
Published: 01 Sep 2003

Save for later