Interactive Theorem Proving

Full text!
Type:
e-book
Titel:
Interactive Theorem Proving
Auteur:
Kaufmann, Matt; Kanade, Takeo; Paulson, Lawrence C.; Kittler, Josef
Taal:
Engels
Uitgever:
Springer Berlin Heidelberg 2010
ISBN:
3-642-14051-3
9786613565518
1-280-38759-9
3-642-14052-1
Permalink:
http://bibtest.howest.be/catalog/ebk03:2550000000015590