TY  - BOOK
AU  - Mishra, K.L.P.
AU  - Chandrasekaran, N.
TI  - Theory of Computer Science: automata, language and computation
SN  - 8120312716
U1  - 004.0151 MIS 
PY  - 2009///
CY  - New Delhi
PB  - Prentice Hall of India
KW  - Theoritical computer science
KW  - Computation
KW  - Automata
N1  - Contents:
1. Propositions and predicate
ER  -