Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker
0
0
As an Amazon Associate and affiliate partner, Menrva Books earns from qualifying purchases. Learn more
Author Description
Page Count:
172
Publication Date:
2013-03-08
Publisher:
Springer-Verlag
ISBN-10:
3322842231
ISBN-13:
9783322842237
