Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker
Dieter Hofbauer, Ralf-Detlef Kutsche (auth.)Categorias:
Ano:
1989
Edição:
1
Editora:
Vieweg+Teubner Verlag
Idioma:
german
Páginas:
172
ISBN 10:
3528047186
ISBN 13:
9783528047184
Arquivo:
PDF, 6.63 MB
IPFS:
,
german, 1989
Este livro não está disponível para download devido à reclamação do detentor dos direitos autorais