Applied Logic for Computer Scientists. Computational...

Applied Logic for Computer Scientists. Computational Deduction and Formal Proofs

Name: Applied Logic for Computer Scientists. Computational Deduction and Formal Proofs
ISBN: 9783319516530

Mauricio Ayala-Rincón, Flávio L.C. de Moura

0 / 0

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

种类:

年:

2017

出版社:

Springer

语言:

english

页:

162

ISBN 10:

3319516531

ISBN 13:

9783319516530

文件:

PDF, 1.30 MB

IPFS:

english, 2017

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

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

— Pravin Lal