[PDF] proof assistant free ebooks download




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

Library Search


1 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

 Коблиц Н.
Steven G. Johnson, John D. Joannopoulos
Lagrange J.L.
Kevin McCrimmon
Хаусдорф Ф.
Arnaud Beauville
Yuri I. Manin
Bradd Hart and Matthew Valeriote, Bradd T. Hart, Matthew Valeriote
Фейс Р.
Peter Abramenko (auth.)
Knopp K.
Dienes P.
Бугров, Никольский.
Зимина О.В., Кириллов А.И., Сальникова Т.А.
Минорский В.П.
Michael A. Dritschel, Michael A. Dritschel
P. R. Halmos (auth.)
Маслов В.П.
J. Meixner, F.W. Schäfke, G. Wolf
Арнольд В.И.

queuing systempolaritydifferential equationsaturn ringsmagnesiumoptical spectroscopyscheduling algorithmhomeostasisenzyme catalysiscancerindirect taxesstrain mechanicselectromagnetic fieldspecific impulsefrequencyecologyhuman factorsradonmode of actionerror correctioncryptographyeconomicsnucleic acidscollaborationinternational lawsoil typessignal reconstructionelectromagnetic fieldmobile robotscorona dischargecost effectivenessevolutionary algorithmnetworkquality of serviceenergypublic goodglass transitionirrigationobservationvisual programmingsolidsequivalent circuitsmyosin light chain kinaselihermeneuticsir spectraenergy transferorganisationsimage segmentationball bearings