An Ostern «tütschen» wir die Preise: 10% Rabatt auf Bücher (DE und EN)! Jetzt profitieren
Willkommen. Schön, sind Sie da!
Mein Ex Libris

Automated Deduction - CADE-20

(0)
Erste Bewertung abgeben
Inhalt What Do We Know When We Know That a Theory Is Consistent?.- Reflecting Proofs in First-Order Logic with Equality.- Reasonin...

CHF59.00

Download steht sofort bereit

Wird oft zusammen gekauft

Andere Kunden kauften auch