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

Proof and Computation (NATO ASI Subseries F:, 139, Band 139)
Proof and Computation (NATO ASI Subseries F:, 139, Band 139)
Produkt anzeigen
Proof, Computation and Agency
Proof, Computation and Agency
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
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
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
Proofs and Computations (Perspectives in Logic)
Proofs and Computations (Perspectives in Logic)
Produkt anzeigen
Menü