عنوان
پدید آورنده
موضوع
رده
QA 76.9 .M35 N47 1997
QA
76
.
9
.
M35
N47
1997
کتابخانه
محل استقرار
H1
Nerode, Anil
Logic for applications
New York
Springer
1997
xiii, 456 p
Graduate texts in computer science
Includes bibliographical references and index
Computer science - Mathematics
Logic, Symbolic and mathematical
QA
76
.
9
.
M35
N47
1997
AU
1932-
Anil Nerode and Richard A. Shore
English
