TY  - BOOK
AU  - Singh,Gurdev
AU  - Bhatia,Mandeep Singh
TI  - Symbolic logic and prolog
SN  - 978-93-81068-36-6
U1  - 5.133 
PY  - 2011///
CY  - New Delhi
PB  - Khanna Publishers
KW  - Computer Engineering
ER  -