@BOOK{ Book!D - 101076806,
AUTHOR = "/ Martin D. Davis, Ron Sigal, Elaine J. Weyuker",
TITLE = "Computability, complexity, and languages ",
LIBRARY= "کتابخانه دانشکدگان فنی 1 دانشگاه تهران",
SUBJECT = "Machine theory,Computational complexity,Formal languages",
URL = "/book/101076806/Computability-complexity-and-languages/"}