The Efficiency of Theorem Proving Strategies : A Comparative and Asymptotic Analysis

ISBN

9783528155742

$89.99

Author	Plaisted, David A.
Format	Paperback
Details	Dimensions:8.3" x 5.8" x 0.2" Status:Active Record Product Type:Individual Title Product Format:Books Volumes in Set:1 vol. Copyright Year:1999 Number of Pages:viii, 172 Illustrated:Yes Media Class:Print LC Classification Number:QA75.5-76.95