Proof and Computation (NATO ASI Subseries F:, 139, Band 139)

Proof and Computation
Wo zu kaufen (4) Eigenschaften
Gesponsert
Proof and Computation (NATO ASI Subseries F:, 139, Band 139)
Medimops DE
101.54 EUR
Preis aktualisiert am: 22-10-2026 06:48:18
Siehe Produktangebot
Gesponsert
Proof and Computation
Hugendubel
106.99 EUR
Preis aktualisiert am: 19-10-2026 23:59:38
Siehe Produktangebot
Gesponsert
Proof and Computation, Fachbücher
Galaxus.de
106.99 EUR
Preis aktualisiert am: 18-10-2026 12:59:31
Siehe Produktangebot
Gesponsert
Proof and Computation
SpringerLink DE
118.00 EUR
Preis aktualisiert am: 22-10-2026 04:34:55
Siehe Produktangebot

Allgemein

Marke
Helmut Schwichtenberg
ISBN
Helmut Schwichtenberg 3642793630
MPN
Helmut Schwichtenberg biography

Eigenschaften

Ähnliche Produkte

Proof, Computation and Agency
Proof, Computation and Agency
Aus160.49 EUR 3
Produkt anzeigen
The Dynamics of Judicial Proof: Computation, Logic, and Common Sense (Studies in Fuzziness and Soft Computing) (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) (Studies in Fuzziness and Soft Computing, 94, Band 94)
Aus206.39 EUR 3
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)
Aus45.98 EUR 3
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)
Aus197.54 EUR 2
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)
Aus73.00 EUR 2
Produkt anzeigen
Proofs and Computations (Perspectives in Logic)
Proofs and Computations (Perspectives in Logic)
Aus102.40 EUR 1
Produkt anzeigen
Menü