TY  - BOOK
T1  - Non-standard logics for automated reasoning
A2  - Smets, Philippe
LA  - English
PP  - London etc.
PB  - Academic press
YR  - 1988
UL  - https://colectivo.uloyola.es/Record/L19658
OP  - 334
SN  - 0126495203
KW  - Teoría del conocimiento
KW  - Lógica matemática
KW  - Lógica
ER  -