TY  - BOOK
AU  - Baumgartner, Peter
TI  - Theory reasoning in connection calculi : Lecture notes  in artificial intelligence
SN  - 0003540655093
U1  - 006.3 
PB  - Springer: Tokyo
KW  - Aritificial Intelligence : theory reasoning
ER  -