TY  - BOOK
T1  - Formal methods in artificial intelligence
A1  - Ramsay, Allan
LA  - English
PP  - Cambridge, United Kingdom
PB  - Cambridge University Press
YR  - 1991
UL  - https://colectivo.uloyola.es/Record/L55443
OP  - 279
SN  - 0521424216
KW  - Inteligencia artificial
ER  -