عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
5257
5472
Manna, Zohar
The logical basis for computer programming
Reading, Mass
Addison-Wesley
c1985-c1990
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
519
.
7
QA
76
.
6
.
M35595
1985
AU
Zohar Manna, Richard Waldinger
AU drahciR ,regnidlaW
TI
