TY  - BOOK
AU  - Turner,Raymond
TI  - Logics for artificial intelligence
T2  - Ellis Horwood series in artificial intelligence
SN  - 0470201231 (U.S.)
U1  - 001.535 
PY  - 1984///
CY  - Chichester
PB  - E. Horwood ; New York : Halsted Press, 
KW  - INTELIGENCIA ARTIFICIAL
KW  - LOGICA SIMBOLICA
N1  - Incluye referencias bibliográficas e índice
ER  -