عنوان
پدید آورنده
موضوع
رده
QA 76.6 .M35595 1985
QA
76
.
6
.
M35595
1985
کتابخانه
محل استقرار
6352
Manna, Zohar
The logical basis for computer programming
Reading,Mass.
Addison-Wesley
1985
2V. :ill
Addison-Wesley series in computer science
Includes index
V.1.Deductive reasoning. - V.2.Deductive systems
$AProgramming )Electronic digital computers(
$ALogic, Symbolic and mathematical
QA
76
.
6
.
M35595
1985
Zohar Manna, Richard Waldinger
AU drahciR ,regnidlaW
TI
LOSE
