عنوان
پدید آورنده
موضوع
رده
QA 267 .3 .P37 2002
QA
267
.
3
.
P37
2002
کتابخانه
محل استقرار
132907
زمستان۱۸
English
)91(
Parkes, Alan
Introduction to languages, machines and logic: computable languages, abstract machines and formal logic
London
Springer
2002
xi, 351 p.: ill.; 24 cm
Includes bibliographical references and index
، Formal languages
، Machine theory
QA
267
.
3
.
P37
2002
AU
Alan P. Parkes
TI
129
