عنوان
پدید آورنده
موضوع
رده
QA 267 .D38 1994
QA
267
.
D38
1994
کتابخانه
محل استقرار
105835
تابستان۴۷
English
)91(
Davis, Martin
1928-
Computability, complexity, and languages : fundamentals of theoretical computer science
Boston
Academic Press, Harcourt, Brace
1994
xix, 609 p. : ill. ; 24 cm
Computer science and scientific computing
Includes bibliographical references )p. 593-594( and index
2nd. ed
، Machine theory
، Computational complexity
، Formal languages
QA
267
.
D38
1994
AU
Martin D. Davis, Ron Sigal, Elaine J. Weyuker
AU .noR ,lagiS
AU .J enialE ,rekuyeW
TI
SE
129
