[PDF] proof assistant free ebooks download




View results: Search for a phrase:
ISBN Language MD5 Extension

Library Search


New Fictions

2 books found also search"proof assistant" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
146222 Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson (eds.) Lecture Notes in Computer Science 2283
Isabelle/HOL: A Proof Assistant for Higher-Order Logic [1 ed.]
3540433767, 9783540433767
Springer-Verlag Berlin Heidelberg 2002 226 English 824 kb pdf GET
2155750 Maarten de Mol Reasoning about Functional Programs - Sparkle: a Proof Assistant for Clean IPA 2009 231 english 2 Mb pdf GET

If no results, Please search proof assistant here Again

  Alexander Brudnyi, Yuri Brudnyi
Matthias Koch
John Stanley, Linda Stanley
Victoriano Gaviño Rodríguez
Hudson Orsine Assumpção
Виноградов Н.Б.
National Council of Teachers of Mathematics traducción de Federico Galván Anaya
R.J. Ruppenthal
Reinhard Lerch
Florin Lobont
Kazimierz Cegiełka, Jerzy Przyjemski, Karol Szymański.
Akiva Goldsman, Sylvia Nassar
Ihab R Kamel; Elmar M Merkle
Тимошенко С.П.
Stanley Krantman
Горелов И., Енгалычев В.
N. Bourbaki
James E. Humphreys
Sarvepalli Radhakrishnan, Charles A. Moore
Липский.

bioinformaticsorthogonal contrastssocialmembrane proteinsimulationradio frequencyinternal marketingsuicide preventionoxidationconceptual designhuman factorssequencingnoisegenomicsdata analysisregulationsecologyfdimass spectrometrysocial psychologyagricultureasynchronous communicationtranscriptioncontrolinteraction effectwave propagationblakeverificationsectionsintellectual propertycivil aviationpublic healthbreast cancernetwork topologyfolk psychologyaperturescell cycleerror probabilitydecision treeenvironmental studiesreference materialspin echopublic healthradiation doseapproximation theorygeographyyieldingmatrix decompositionspace time codequark model