عنوان
پدید آورنده
موضوع
رده
QA 76 .6 .M35595 1985
QA
76
.
6
.
M35595
1985
کتابخانه
محل استقرار
95323
آخر۲۷
English
)50(
Manna, Zohar.
The logical basis for computer programming
Reading, Mass.
Addison-Wesley
1985-1990
2 v. : ill. ; 25 cm
Addison-Wesley series in computer science
Includes bibliographies and indexes
v. 1. Deductive reasoning -- v. 2 Deductive systems
، Electronic digital computers-- Programming
، Logic, Symbolic and mathematical
QA
76
.
6
.
M35595
1985
AU
Zohar Manna, Richard Waldinger
CO Waldinger
TI
05
