[PDF] theorem prover free ebooks download




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

Library Search


3 books found also search"theorem prover" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
337874 Lawrence C. Paulson (eds.) Lecture Notes in Computer Science 828
Isabelle: A Generic Theorem Prover [1 ed.]
3540582444, 9783540582441
Springer-Verlag Berlin Heidelberg 1994 329 English 2 Mb djvu GET
959905 Thomas Kropf (auth.), Ramayya Kumar, Thomas Kropf (eds.) Lecture Notes in Computer Science 901
Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings [1 ed.]
978-3-540-59047-7, 978-3-540-49177-4
Springer-Verlag Berlin Heidelberg 1995 312 English 5 Mb pdf GET
338894 Thomas Kropf (auth.), Ramayya Kumar, Thomas Kropf (eds.) Lecture Notes in Computer Science 901
Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings [1 ed.]
3540590471, 9783540590477
Springer-Verlag Berlin Heidelberg 1995 312 English 3 Mb djvu GET

 José A. C. Broekaert
Элджер Дж.

Richard A. Spears
Хидекель С.С.
Klein F.
Макдональд И.
Липский.
Thomas J.M.
Jean Pierre Serre
Желобенко Д.П.
Jacques Tits
Смирнов В.И.
Mark Bridger
Joseph Bak, Donald J. Newman
Gordon Mclelland
William Arveson
Данфорд Н., Шварц Дж.Т.
Стейн И., Вейс Г. (E.M.Stein,G.Weiss)
Сокольников И.С.

lasershuman computer interfacedeveloping nationsrhsoftware engineeringconstitutional monarchyetchingscanning electron microscopereligion