Interactive Theorem Proving - 9783642228629

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

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

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

Adler - International Catalogue Of Scientific Literature Second Confe - X555z

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

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

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