عنوان
پدید آورنده
موضوع
رده
QA 76 .6 .M357
QA
76
.
6
.
M357
کتابخانه
محل استقرار
68219
آخر۲۷
English
)50(
Manna, Zohar.
Studies in automatic programming logic
New York
North-Holland
1977
viii, 192 p. ; 24 cm
Artificial intelligence series(, )The Computer science library
Bibliography: p. 181-185
Includes indexes
، Automatic programming )Computer science(
، Computer programs
QA
76
.
6
.
M357
AU
Zohar Manna, Richard Waldinger, with contributions by Shmuel Katz and Karl Levitt
AU regnidlaW joint author
TI
05
