Ihre Suche ergab 12 Treffer.
An Introduction to the Technique of Formative Processes in Set Theory
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
From Computational Logic to Computational Biology
Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
Produktform: E-Buch Text Elektronisches Buch in proprietärem
60,98 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
From Computational Logic to Computational Biology
Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
Produktform: Buch / Einband - flex.(Paperback)
62,05 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
An Introduction to the Technique of Formative Processes in Set Theory
Produktform: Buch / Einband - fest (Hardcover)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
An Introduction to the Technique of Formative Processes in Set Theory
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Computational Logic and Set Theory
Produktform: Medienkombination
58,80 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets
Produktform: E-Buch Text Elektronisches Buch in proprietärem
149,79 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets
Produktform: Buch / Einband - fest (Hardcover)
160,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets
Produktform: Buch / Einband - flex.(Paperback)
160,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Computational Logic and Set Theory
Applying Formalized Logic to Analysis
Produktform: E-Buch Text Elektronisches Buch in proprietärem
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the ÆtnaNova system, a program built to verify the correctness of mathematical proofs.
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage