Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Undergraduate Topics in Computer Science: Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs
Medimops DE
45.98 EUR
Preis aktualisiert am: 07-08-2026 12:18:32
Siehe Produktangebot
Gesponsert
Applied Logic for Computer Scientists, Fachbücher von Mauricio Ayala-Rincón, Flávio L. C. de Moura
Galaxus.de
48.14 EUR
Preis aktualisiert am: 03-08-2026 09:33:40
Siehe Produktangebot
Gesponsert
Applied Logic for Computer Scientists
SpringerLink DE
53.50 EUR
Preis aktualisiert am: 07-08-2026 09:46:38
Siehe Produktangebot

Allgemein

Marke
Mauricio Ayala-Rincón
ISBN
Mauricio Ayala-Rincón 3319516515

Eigenschaften

Ähnliche Produkte

Multi-valued Logic for Decision-Making Under Uncertainty (Computer Science Foundations and Applied Logic)
Multi-valued Logic for Decision-Making Under Uncertainty (Computer Science Foundations and Applied Logic)
Produkt anzeigen
Algorithms for Constructing Computably Enumerable Sets (Computer Science Foundations and Applied Logic)
Algorithms for Constructing Computably Enumerable Sets (Computer Science Foundations and Applied Logic)
Produkt anzeigen
Applied Logic for Computer Scientists
Applied Logic for Computer Scientists
Produkt anzeigen
Simple Type Theory
Simple Type Theory
Produkt anzeigen
A Proof Theory for General Unification (Progress in Computer Science and Applied Logic (11), Band 11)
A Proof Theory for General Unification (Progress in Computer Science and Applied Logic (11), Band 11)
Produkt anzeigen
Farmer, William M.: Simple Type Theory
Farmer, William M.: Simple Type Theory
Produkt anzeigen
Menü