You May Like
Automated Theorem-Proving in Non-Classical Logics (Research Notes in Theoret...
$10.00
View Details
Automated Theorem Proving in Software Engineering
$19.95
View Details
Bibel - Automated Theorem Proving - New paperback or softback - S9000z
$146.04
View Details