TY  - BOOK
AU  - Joy, Francis.
AU  - Advised by Narasimha Murty, M
TI  - Reason maintenance and logic
U1  - 006.3 N92 
PY  - 1992///
CY  - Bangalore
PB  - Indian Institute of Science
N1  - Include references; MSc(Engg);1992;Computer Science and Automation
ER  -