عنوان
پدید آورنده
موضوع
رده
E-B00k,
E-B00k
,
کتابخانه
محل استقرار
:9783319516516
27579
انگلیسی
Applied logic for computer scientists.
[electronic resources]
: Computational Deduction and Formal Proofs
\ Mauricio Ayala-Rincón, Flávio L.C. de Moura.
New York, NY
: Springer Berlin Heidelberg
, 2017.
xviii, 150 p.
Undergraduate topics in computer science
Index
Bibliography
Computer science
Computer logic
کامپیوتر
منطق کامپیوتری
a01
a03
a01
a03
E-B00k
,
Ayala-Rincón, Mauricio
Moura, Flávio L. C. de
ایران
20190123074221.0
rda
9783319516516.pdf
BL
279177
1
N
