Proof and Computation

Wo zu kaufen (2) Eigenschaften
Gesponsert
Klaus Mainzer, Peter Schuster & Helmut S: PROOF AND COMPUTATION
averdo DE
110.62 EUR
Preis aktualisiert am: 24-11-2024 14:00:48
Siehe Produktangebot
Gesponsert
PROOF AND COMPUTATION
Hugendubel
114.99 EUR
Preis aktualisiert am: 28-08-2024 19:25:03
Siehe Produktangebot

Allgemein

Marke
World Scientific Publishing Company

Eigenschaften

Ähnliche Produkte

The Dynamics of Judicial Proof: Computation, Logic, and Common Sense (Studies in Fuzziness and Soft Computing, 94, Band 94)
The Dynamics of Judicial Proof: Computation, Logic, and Common Sense (Studies in Fuzziness and Soft Computing, 94, Band 94)
Produkt anzeigen
Proof and Computation (NATO ASI Subseries F:, 139, Band 139)
Proof and Computation (NATO ASI Subseries F:, 139, Band 139)
Produkt anzeigen
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory (Lecture Notes in Mathematics, 1104, Band 1104)
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory (Lecture Notes in Mathematics, 1104, Band 1104)
Produkt anzeigen
Proofs and Computations (Perspectives in Logic)
Proofs and Computations (Perspectives in Logic)
Produkt anzeigen
Proof, Computation and Agency
Proof, Computation and Agency
Produkt anzeigen
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Band 2)
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Band 2)
Produkt anzeigen
Menü