Cover-Bild Automatisierung von Terminierungsbeweisen

Band der Reihe "Künstliche Intelligenz"

(0)

54,99 €

inkl. MwSt

Verlag: Vieweg & Teubner
Genre: keine Angabe / keine Angabe
Seitenzahl: 253
Ersterscheinung: 01.01.1991
ISBN: 9783528047719

Christoph Walther

Automatisierung von Terminierungsbeweisen

Weitere Formate

ebook / PDF 42,99 €

Dieses Produkt bei deinem lokalen Buchhändler bestellen

Meinungen aus der Lesejury

Es sind noch keine Einträge vorhanden.