All Products

Showing 1 to 1 of 1 Products

Automated Theorem Proving: A Logical Basis

Product Type: Book

Edition: 1

First Published: 1978

eBook: 978-1-4832-9677-7