Setheo: A High-Performance Theorem Prover. by Letz, R. et al
by Letz, R. et al
Setheo: A High-Performance Theorem Prover.
by Letz, R. et al
- Used
- Paperback
Very Good condition in wraps with staple.
- Bookseller Independent bookstores (US)
- Book Condition Used - Very Good condition in wraps with staple
- Binding Paperback
- Keywords Logic, Setheo