Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Isabelle/HOL: A Proof Assistant for Higher-Order Logic Lecture Notes in Computer

Ø 0.0

0 Bewertungen

43,00 €

Springer 2002. 218 Seiten; Broschiert Sprache: Englisch ISBN: 3540433767 EAN: 9783540433767 Bestell-Nr: 2197771 Bemerkungen: Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel...); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. .

Jetzt bei Ebay:

Zum Angebot *

EAN:

9783540433767
ISBN:

3540433767
Verlag:

Springer
Erscheinungsjahr:

2002
Autor:

Nipkow, Tobias, Lawrence C. Paulson and Markus Wenzel
Publikationsname:

Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Sprache:

Englisch
Format:

Broschiert
Produktart:

Bücher

Sparversand:

Deutsche Post Warensendung kostenlos - Lieferung zwischen 13. May 2025 und 14. May 2025 (bei heutigem Zahlungseingang)
Standardversand:

DHL Kleinpaket 5,95 EUR - Lieferung zwischen 14. May 2025 und 15. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Amerika, Europa, Asien
Versand ausgeschlossen:

Gambia , Guinea , Guinea-Bissau , Kap Verde , Komoren , Liberia , Libyen , Mauritius , Réunion , Seychellen , ... und weitere

Isabelle/HOL: A Proof Assistant for Higher-Order Logic Lecture Notes in Computer

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (... | Buch | Zustand gut

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Buch Springer

Isabelle/HOL Tobias Nipkow

Isabelle/HOL A Proof Assistant for Higher-Order Logic Tobias Nipkow (u. a.) Buch

Proof Theory: An Introduction. Lecture notes in mathematics; Vol. 1407. Pohlers,

Tobias Nipkow (u. a.) | Isabelle/HOL | Taschenbuch | Englisch (2002) | xiv

The Concurrency Control Problem for Database Systems Lecture Notes in Computer S

Foundations of inductive logic programming. Lecture notes in computer science ;

Toposes, algebraic geometry and logic. Lecture Notes in Mathematics; 274. Bucur,

Conference in Mathematical Logic - London '70. Lecture notes in mathematics; 255

Infinitary logic : in memoriam Carol Karp. Lecture notes in mathematics, vol. 49

Intensionality: Lecture Notes in Logic 22

Logic Colloquium 2004 (Lecture Notes in Logic),

High Performance Transaction Systems Lecture Notes in Computer Science 359 Hayni

Logic Colloquium / Symposium on Logic held at Boston, 1972 - 73. Lecture notes i

Conference in Mathematical Logic - London '70 Lecture Notes in Mathematics, 255

Inductive logic programming : 9th international workshop ; proceedings. Lecture

Term Logic with Choice Operator. (=Lecture Notes in Mathematics; 6). Hermes, Han

Logic Colloquium: Symposium on Logic held at Boston, 1972-73 Lecture Notes in Ma

Logic Colloquium '01: Lecture Notes In Logic, 20 by Jan Krajicek, Matthias ...

Isabelle/HOL: A Proof Assistant for Higher-Order Logic Lecture Notes in Computer

Ähnliche Artikel

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (... | Buch | Zustand gut

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Buch Springer

Isabelle/HOL Tobias Nipkow

Isabelle/HOL A Proof Assistant for Higher-Order Logic Tobias Nipkow (u. a.) Buch

Proof Theory: An Introduction. Lecture notes in mathematics; Vol. 1407. Pohlers,

Tobias Nipkow (u. a.) | Isabelle/HOL | Taschenbuch | Englisch (2002) | xiv

The Concurrency Control Problem for Database Systems Lecture Notes in Computer S

Foundations of inductive logic programming. Lecture notes in computer science ;

Toposes, algebraic geometry and logic. Lecture Notes in Mathematics; 274. Bucur,

Conference in Mathematical Logic - London '70. Lecture notes in mathematics; 255

Infinitary logic : in memoriam Carol Karp. Lecture notes in mathematics, vol. 49

Intensionality: Lecture Notes in Logic 22

Logic Colloquium 2004 (Lecture Notes in Logic),

High Performance Transaction Systems Lecture Notes in Computer Science 359 Hayni

Logic Colloquium / Symposium on Logic held at Boston, 1972 - 73. Lecture notes i

Conference in Mathematical Logic - London '70 Lecture Notes in Mathematics, 255

Inductive logic programming : 9th international workshop ; proceedings. Lecture

Term Logic with Choice Operator. (=Lecture Notes in Mathematics; 6). Hermes, Han

Logic Colloquium: Symposium on Logic held at Boston, 1972-73 Lecture Notes in Ma

Logic Colloquium '01: Lecture Notes In Logic, 20 by Jan Krajicek, Matthias ...

Cookie Hinweis