Lecture Notes in Computer Science: Using Sophisticated Models in Resolution Theorem Proving (Series #90) (Paperback)
$89.99
Shop on Walmart

Description

• Author: David M Sandford • ISBN:9783540102311 • Format:Paperback • Publication Date:1980-08-01

logo

Walmart

You may also like