Ergebnisse für: Theorem-Prover

Hier findest Du Bücher, die sich mit Theorem-Prover beschäftigen.

Buch Cover Modern Perspectives in Type-Theoretical Semantics

Springer International Publishing
117.69 € · Hardcover
...
Buch Cover Cooperation in Heterogeneous Theorem Prover Networks

Akademische Verlagsgesellschaft AKA
33 € · Paperback
...
Buch Cover A Tactic-Based Inductive Theorem Prover for Data Types with Partial Operations

Akademische Verlagsgesellschaft AKA
33 € · Paperback
...
Buch Cover An Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms

Logos Berlin
40 € · Paperback
...
Buch Cover Isabelle

Springer Berlin
53.49 € · eBook
...
Buch Cover Isabelle

Springer Berlin
53.49 € · Paperback
...
Buch Cover Intelligent Computer Mathematics

Springer International Publishing
139.09 € · Paperback
...
Buch Cover Modern Perspectives in Type-Theoretical Semantics

Springer International Publishing
106.99 € · eBook
...
Buch Cover Formal Software Engineering of Distributed Systems using Focus-Streams and Automata

Shaker
29.85 € · eBook
...
Buch Cover Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems Volume 2

Shaker
30.8 € · Paperback
...
Buch Cover Towards an Isabelle Theory for distributed, interactive systems

Shaker
35.8 € · Paperback
...
Buch Cover Automated Reasoning with Analytic Tableaux and Related Methods

Springer Berlin
49.22 € · Paperback
...
Buch Cover Exploring Formalisation

Springer International Publishing
58.84 € · Paperback
...
Buch Cover Exploring Formalisation

Springer International Publishing
53.49 € · eBook
...
Buch Cover Modern Perspectives in Type-Theoretical Semantics

Springer International Publishing
117.69 € · Paperback
...
Buch Cover Automated Reasoning with Analytic Tableaux and Related Methods

Springer Berlin
48.14 € · eBook
...
Buch Cover Intelligent Computer Mathematics

Springer International Publishing
139.09 € · eBook
...
Buch Cover Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems Volume 2

Shaker
23.1 € · eBook
...
Buch Cover Automated Reasoning with Analytic Tableaux and Related Methods

Springer International Publishing
53.49 € · Paperback
...
Buch Cover Superposition for Higher-Order Logic

Springer International Publishing
· eBook
...

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden