An edition of Grundlagen des maschinellen Beweisens (1989)
Grundlagen des maschinellen Beweisens
Eine Einführung für Informatiker und Mathematiker
By Dieter Hofbauer,Ralf-Detlef Kutsche
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1989
Publisher
Vieweg+Teubner Verlag
Language
ger
Pages
-
Description: