Cover-Bild Automatisierung von Terminierungsbeweisen
Band der Reihe "Künstliche Intelligenz"
42,99
inkl. MwSt
  • Verlag: Vieweg & Teubner
  • Genre: keine Angabe / keine Angabe
  • Ersterscheinung: 09.03.2013
  • ISBN: 9783322854049
Christoph Walther

Automatisierung von Terminierungsbeweisen

Weitere Formate

Meinungen aus der Lesejury

Es sind noch keine Einträge vorhanden.