Similar Listings
Interactive Theorem Proving - 9783319661063
Ronzhin - Interactive Collaborative Robotics 8th International Confe - X555z
Van Eekelen - Interactive Theorem Proving Second International Confe - X555z
Iurgel - Interactive Storytelling Second Joint International Confere - X555z
Proving History Baye's Theorem and the Quest for the Historical Jesus R Carrier
Kammller - Interactive Theorem Proving in Software Engineering - New - X555z
Pythagorean Theorem for Babies, Hardcover by Ferrie, Chris; Ziniti, Mike, Lik...
Symbolic Logic and Mechanical Theorem Proving