TY  - BOOK
A1  - Parkes, Alan
TI  - Introduction to languages, machines and logic: computable languages, abstract machines and formal logic
PB  - كتابخانه مركزی دانشگاه صنعتی شریف
SN  - 72154664
UR  /book/72154664/Introduction-to-languages-machines-and-logic-com/
ER  -