عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .M35 .N47 1997
QA
76
.
9
.
M35
.
N47
1997
کتابخانه
محل استقرار
119694
زمستان۸۷
English
)40(
Nerode, Anil
1932-
Logic for applications
New York
Springer
1997
xiii, 456 p.: ill.; 24 cm
Graduate texts in computer science
Includes bibliographical references and index
، Computer science-- Mathematics
، Logic, Symboloc and mathematical
QA
76
.
9
.
M35
.
N47
1997
AU
Anil Nerode and Richard A. Shore
AU .A drahciR ,erohS 1946-
TI
04
