Interactive Theorem Proving - 9783642228629

Kammller - Interactive Theorem Proving in Software Engineering - New - X555z

Proving History Baye's Theorem and the Quest for the Historical Jesus R Carrier

Willem van Eekelen - ICT and Rural Development in the Global South - P - X555z

van Eekelen - Rural Development in Practice Evolving Challenges and O - X555z

Pythagorean Theorem for Babies, Hardcover by Ferrie, Chris; Ziniti, Mike, Lik...

Theorem Proving with Analytic Tableaux and Related Methods: 4th International

Ayala-Rincn - Interactive Theorem Proving 8th International Confere - X555z