عنوان
پدید آورنده
موضوع
رده
QA76.9 .M35,N47 1997
QA76
.
9
.
M35
,
N47
1997
کتابخانه
محل استقرار
IR
36377
انگلیسی
IR
Logic for applications
[Book]
/ Anil Nerode, Richard A. Shore
2nd ed
New York
: Springer
, 1997.
xiii,456p.
(Graduate texts in computer science)
Language: انگلیسی
Print
Includes index
Bibliography p.[408]-438
Computer science-mathematics
Logic, Symbolic and mathematical
QA76
.
9
.
M35
,
N47
1997
Nerode, Anil, 1932-
Shore, Richard A., 1946-
ایران
QA76.9 .M35,N47 1997
old catalog
p
BL
1
a
Y
