عنوان
پدید آورنده
موضوع
رده
QA76.6،.M36 1985
QA76
.
6
،.
M36
1985
کتابخانه
محل استقرار
IR
19056
انگلیسی
IR
[Book]
/ Zohar Manna, Richard Waldinger
Massachusetts
, [c1985].
v.
Print
Includes bibliographies
v. 1. Deductive reasoning -- v. 2 Deductive systems.
programming(Electronic digital computers)
Logic, Symbolic and mathematical
519
.
7
QA76
.
6
.
M36
1985
Manna, Zohar.
Waldinger, Richard, joint author
ایران
Central Library and Documentation Center
old catalog
p
BL
1
a
Y
