Cover-Bild Automatisierung von Terminierungsbeweisen

Band der Reihe "Künstliche Intelligenz"

(0)

Verlag: Vieweg & Teubner
Genre: keine Angabe / keine Angabe
Ersterscheinung: 09.03.2013
ISBN: 9783322854049

Christoph Walther

Automatisierung von Terminierungsbeweisen

Weitere Formate

Paperback 54,99 €

Meinungen aus der Lesejury

Es sind noch keine Einträge vorhanden.