TY  - BOOK
AU  - Bolc,Leonard
AU  - Borowik,Piotr
TI  - Many-valued logics
SN  - 3540559264
AV  - QA9.45 B65
PY  - 1992///-9999
CY  - Berlin
PB  - Springer Verlag
KW  - Lógica multivalente
N1  - Contenido: 2. Automated reasoning and practical applications
ER  -