Yazar
Jasmin Christian Blanchette
2 cilt bulundu.
Cilt sonuçları
Interactive Theorem Proving
Jasmin Christian Blanchette, Stephan Merz · Springer
519 sayfa · 2016
Automatic theorem proving / Logic, symbolic and mathematical
Tests and Proofs
Jasmin Christian Blanchette, Nikolai Kosmatov · Springer London, Limited
209 sayfa · 2015
Constraint programming (computer science)