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

Mechanizing Mathematical Reasoning

(0)
Erste Bewertung abgeben
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI a...

CHF118.90

Download steht sofort bereit

Wird oft zusammen gekauft

Andere Kunden kauften auch