عنوان
پدید آورنده
موضوع
رده
QA 76.9 .L63A92
QA
76
.
9
.
L63A92
کتابخانه
محل استقرار
Applied logic for computer scientists : computational deduction and formal proofs
Cham
Springer
c2017
xviii, 150 p.: ill. + 1 computer file: PDF
Undergraduate topics in computer science
Also available at IPM digital library: https://libraryportal.ipm.ac.ir
Bibliography: p.145-146
ISBN: 9783319516516
Mauricio Ayala-Rincon, Flavio L. C. de Moura
1
، Computer logic
، Computer science -- Mathematics
QA
76
.
9
.
L63A92
Ayala-Rincon, Mauricio
AU
AU Moura, Flavio L. C. de
SE
