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