Formalisieren und Beweisen: Logik für Informatiker

Name: Formalisieren und Beweisen: Logik für Informatiker
ISBN: 9783528047573

Dirk Siefkes (auth.)

0 / 0

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

种类:

年:

1990

出版:

出版社:

Vieweg+Teubner Verlag

语言:

german

页:

262

ISBN 10:

3528047577

ISBN 13:

9783528047573

系列:

Lehrbuch

文件:

PDF, 37.19 MB

IPFS:

german, 1990

因版权方投诉，本书无法下载

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

关键词