TY  - GEN
TI  - LECTURE NOTES IN ARTIFICIAL INTELLIGENCE: LOGICS IN AI ;V.478
SN  - 3540536868
U1  - 001.535 
PY  - 1991///
CY  - 
PB  - Springer-Verlag, Berlin
ER  -