Automated Deduction - CADE-20 Lecture Notes in Artificial Intelligence
Robert Nieuwenhuis
Paperback
Not Available