عنوان
پدید آورنده
موضوع
رده
QA9,.D68,2011
QA9
,.
D68
,
2011
کتابخانه
محل استقرار
9780857291202
IR
ebook40785
انگلیسی
IR
Proofs and algorithm
[Electronic Resource]
:an introduction to logic and computability
/ Gilles Dowek
London ;New York
: Springer,
, c2011.
xii, 155 p.
: ill. ; 24 cm.
(Undergraduate topics in computer science,1863-7310)
e
Includes bibliographical references (p. 151) and index.
Undergraduate topics in computer science
SpringerLink ebooks - Computer Science (2011)
Scholars Portal Books: Springer 2011
Logic, Symbolic and mathematical.
Algorithms.
004
.
015113
QA9
,.
D68
,
2011
Dowek, Gilles
ایران
004.015113
9780857291202.pdf
0
old catalog
e
BL
1
a
Y
