عنوان
پدید آورنده
موضوع
رده
QA76.7 .D386 1989
QA76
.
7
.
D386
1989
کتابخانه
محل استقرار
0716782014
IR
EB15602
انگلیسی
IR
Truth, deduction, and computation
[Electronic Resource]
:logic and semantics for computer science
/ R.E. Davis
New York
: Computer Science Press,
, c1989.
xv, 265 p. ill. 25 cm.
(Principles of computer science series)
e
ng
Includes bibliographical references (p. 257-260) and index.
Programming languages (Electronic computers)- Semantics
Logic, Symbolic and mathematical
Electronic data processing
005
.
13
QA76
.
7
.
D386
1989
Davis, Ruth E.
ایران
0716782014.pdf
محرمانه
محرمانه
0716782014.pdf
0
متن
old catalog
e
BL
1
a
Y
