TY  - BOOK
AU  - Ulrich Furbach, Natarajan Shankar
TI  - Automated Reasoning
SN  - 978-3-540-37188-5
PY  - 2006///
CY  - New York
PB  - Springer US
KW  - Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Software Engineering
KW  - Computer Science
ER  -