TY  - BOOK
AU  - Patra, Ratan Kumar
AU  - Joshi, R.C. Gu.
ED  - University of Roorkee, Roorkee, Electronics & Computer Engineering
TI  - Approach to automated reasoning
U1  - 621.38072 
PY  - 1992///
ER  -