عنوان
پدید آورنده
موضوع
رده
QA9 .R34 1990
QA9
.
R34
1990
کتابخانه
محل استقرار
0201416433
dltt
Logic for computer science /
[Book]
Steve Reeves, Michael Clarke
Reading, Mass. :
Addison-Wesley,
c1990
xi, 260 p. :
ill. ;
24 cm
International computer science series
Includes bibliographical references (p. 255-256) and index
Logic, Symbolic and mathematical
QA9
.
R34
1990
Reeves, Steve,1957-
Clarke, Michael,1940-
19921216144226.0
مطالعه متن کتاب [Book]
Y
