Browse editions

Current edition
Automated Theorem Proving: Theory and Practice by Monty Newborn

Automated Theorem Proving: Theory and Practice

Monty Newborn

231 pages • missing pub info (editions)

nonfiction art computer science mathematics medium-paced
Other editions (1)
Expand filter menu Filter editions
Automated Theorem Proving: Theory and Practice by Monty Newborn

Automated Theorem Proving: Theory and Practice

Monty Newborn

231 pages • missing pub info (editions)

nonfiction art computer science mathematics medium-paced