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
47.98 EUR
Preis aktualisiert am: 09-11-2026 17:18:01
Siehe Produktangebot
Gesponsert
Applied Logic for Computer Scientists
Hugendubel
47.99 EUR
Preis aktualisiert am: 10-11-2026 16:03:03
Siehe Produktangebot
Gesponsert
Applied Logic for Computer Scientists
SpringerLink DE
53.50 EUR
Preis aktualisiert am: 09-11-2026 13:34:32
Siehe Produktangebot

Allgemein

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

Eigenschaften

Ähnliche Produkte

Applied Logic for Computer Scientists
Applied Logic for Computer Scientists
Aus42.50 EUR 2
Produkt anzeigen
Mathematical Logic: Foundations for Information Science (Progress in Computer Science and Applied Logic)
Mathematical Logic: Foundations for Information Science (Progress in Computer Science and Applied Logic)
Aus53.49 EUR 3
Produkt anzeigen
A Proof Theory for General Unification (Progress in Computer Science and Applied Logic) (Progress in Computer Science and Applied Logic, 11, Band 11)
A Proof Theory for General Unification (Progress in Computer Science and Applied Logic) (Progress in Computer Science and Applied Logic, 11, Band 11)
Aus53.49 EUR 3
Produkt anzeigen
Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic, 10, Band 10)
Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic, 10, Band 10)
Aus53.49 EUR 2
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)
Aus53.49 EUR 2
Produkt anzeigen
Menü