TY  - GEN
AU  - Philips, Rachel
TI  - Advances in Automated reasoning
SN  - 9781647255749
U1  - E/O 006.3 23rd ed. 
PY  - 2025///
CY  - New York
PB  - NY Research Press
KW  - Logic programming
KW  - Expert systems
KW  - Computer science
N1  - Includes index
ER  -