[PDF] theorem proving free ebooks download




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

Library Search


88 books found   ►also search"theorem proving" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
945621 Jacques Fleuriot PhD, MEng (auth.) Distinguished Dissertations
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia [1 ed.]
978-1-4471-1041-5, 978-0-85729-329-9
Springer-Verlag London 2001 140 English 5 Mb pdf GET
962919 Wolfgang Bibel (auth.) Artificial Intelligence / Künstliche Intelligenz
Automated Theorem Proving [2 ed.]
978-3-528-18520-6, 978-3-322-90102-6
Vieweg+Teubner Verlag 1987 289 English 10 Mb pdf GET
962446 Wolfgang Bibel (auth.) Automated Theorem Proving [1 ed.]
978-3-528-08520-9, 978-3-322-90100-2
Vieweg+Teubner Verlag 1982 292 German 7 Mb pdf GET
596372 Bibel W. Artificial Intelligence
Automated theorem proving [2ed]
3528185201, 9783528185206
Vieweg 1987 305 English 3 Mb djvu GET
965177 Dr. Johann M. Schumann (auth.) Automated Theorem Proving in Software Engineering [1 ed.]
978-3-642-08759-2, 978-3-662-22646-9
Springer-Verlag Berlin Heidelberg 2001 228 English 8 Mb pdf GET
872122 Johann M Schumann Automated theorem proving in software engineering
3540679898, 9783540679899, 3642087590, 9783642087592
Springer 2001 244 English 3 Mb djvu GET
1200092 D. W. Loveland (Auth.) Fundamental studies in computer science
Automated Theorem Proving. A Logical Basis [First Edition]
978-0-7204-0499-9, 0720404991
Elsevier B.V 1978 405 English 21 Mb pdf GET
1208127 W. W. Bledsoe, Donald W. Loveland (ed.) Contemporary Mathematics 029
Automated Theorem Proving: After 25 Years
0-8218-5027-X, 9780821850275, 16-1978-158-1, 21-1978-159-1
Amer Mathematical Society 1984 372 English 6 Mb djvu GET
1170163 Monty Newborn (auth.) Automated theorem proving: theory and practice [1 ed.]
9781461265191
Springer-Verlag New York 2001 231 English 2 Mb djvu GET
945656 Monty Newborn (auth.) Automated Theorem Proving: Theory and Practice [1 ed.]
978-1-4612-6519-1, 978-1-4613-0089-2
Springer-Verlag New York 2001 231 English 8 Mb pdf GET
276515 G.L. Pozzato Frontiers in Artificial Intelligence and Applications 208
Conditional and Preferential Logics: Proof Methods and Theorem Proving
1607500949, 9781607500940
IOS Press 2010 209 English 2 Mb pdf GET
777942 G.L. Pozzato Frontiers in Artificial Intelligence and Applications 208
Conditional and Preferential Logics: Proof Methods and Theorem Proving
1607500949, 9781607500940
0 209 English 3 Mb pdf GET
599257 Pozzato G. Frontiers in Artificial Intelligence and Applications
Conditional and Preferential Logics: Proof Methods and Theorem Proving
1607500949, 9781607500940
IOS Press 2010 209 English 2 Mb pdf GET
957175 Avra Cohn (auth.), Graham Birtwistle, P. A. Subrahmanyam (eds.) Current Trends in Hardware Verification and Automated Theorem Proving [1 ed.]
978-1-4612-8195-5, 978-1-4612-3658-0
Springer-Verlag New York 1989 489 English 31 Mb pdf GET
320306 Melvin Fitting Texts and monographs in computer science
First-Order Logic and Automated Theorem Proving [1st ed.]
9783540972334, 3540972331
Springer 1990 262 English 2 Mb djvu GET
964922 Melvin Fitting Graduate Texts in Computer Science
First-Order Logic and Automated Theorem Proving [2nd ed.]
978-1-4612-7515-2, 978-1-4612-2360-3
Springer 1996 326 English 5 Mb pdf GET
1170818 Melvin Fitting Graduate Texts in Computer Science
First-Order Logic and Automated Theorem Proving [2nd ed.]
9781461275152
Springer 1996 338 English 2 Mb djvu GET
1498213 Osman Hasan, Sofiène Tahar Formalized Probability Theory and Applications Using Theorem Proving [1 ed.]
1466683155, 9781466683150
IGI Global 2015 298 English 4 Mb pdf GET
599711 Dominique Snyers, André Thayse (auth.) Lecture Notes in Computer Science 271
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions [1 ed.]
3540182179, 9783540182177
Springer-Verlag Berlin Heidelberg 1987 125 English 1 Mb djvu GET
963014 Dominique Snyers, André Thayse (auth.) Lecture Notes in Computer Science 271
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions [1 ed.]
978-3-540-18217-7, 978-3-540-47811-9
Springer-Verlag Berlin Heidelberg 1987 125 English 3 Mb pdf GET
1200081 L.J.M. Claesen, M.J.C. Gordon IFIP Transactions A: Computer Science and Technology
Higher Order Logic Theorem Proving and its Applications. Proceedings of the IFIP Tc10/wg 10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications–HOL '92 Organized by CHEOPS ESPRIT BRA 3215, Leuven, Belgium, 21–24 September 1992
978-0-444-89880-7, 0444898808
Elsevier B.V, North Holland 1993 568 English 26 Mb pdf GET
337687 Flemming Andersen, Kim Dam Petersen (auth.), Jeffrey J. Joyce, Carl-Johan H. Seger (eds.) Lecture Notes in Computer Science 780
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings [1 ed.]
3540578269, 9783540578260
Springer-Verlag Berlin Heidelberg 1994 526 English 5 Mb djvu GET
337688 Sten Agerholm (auth.), Thomas F. Melham, Juanito Camilleri (eds.) Lecture Notes in Computer Science 859
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings [1 ed.]
3540584501, 9783540584506
Springer-Verlag Berlin Heidelberg 1994 477 English 4 Mb djvu GET
959958 Otmane Aït Mohamed (auth.), E. Thomas Schubert, Philip J. Windley, James Alves-Foss (eds.) Lecture Notes in Computer Science 971
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings [1 ed.]
978-3-540-60275-0, 978-3-540-44784-9
Springer-Verlag Berlin Heidelberg 1995 408 English 6 Mb pdf GET
337689 E. Thomas Schubert, Phillip J. Windley, James Alves-Foss Lecture Notes in Computer Science 0971
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings: ... 8th [1 ed.]
3540602755, 9783540602750
Springer 1995 409 English 4 Mb djvu GET
  ►
 Болотин В.В.

Хидекель С.С., Кауль М.Р.
Ожигова Е.П.
Janos Kollar
Шафаревич И.Р.
Edward Nelson
Курош А.Г.
Jan Awrejcewicz, Igor V. Andrianov, Leonid I. Manevitch
Nayfeh A.H., Chin C.-M.
Reiner Kuhnau
K. O. Friedrichs
I. I. Vrabie
Глушко В.П.
Коркин.
Бугров Я.С, Никольский С.М.
V.K. Balachandran (Eds.)
Marian Fabian, Petr Habala, Petr Hajek, Vicente Montesinos Santalucia, Jan Pelant, Vaclav Zizler
Walter Rudin
Кутателадзе С.С., Рубинов А.М.

leslie matrixquality assurancecollective securitylorentz transformationclassificationcivil engineeringtheorem provingenvironmenthidden markov modelscase based reasoning