TY  - BOOK
TI  - Automation Of Reasoning With Incomplete Information
SN  - 9783540645153
U1  - 006.333 
PY  - 2013///
CY  - Germany
PB  - Springer Nature, 
N1  - index
ER  -