TY  - GEN
AU  - Kapur, Deepak [ed.]
TI  - Lecture notes in artifcial intelliegence: Automated deduction -- cade-11
SN  - 3540556028
U1  - 001.535 
KW  - Artificial Intelligence
ER  -