TY - BOOK AU - Ramsay,Allan TI - Formal methods in artificial intelligence SN - 9780521424219 PY - 1988/// CY - Cambridge PB - Cambridge University Press KW - INTELIGENCIA ARTIFICIAL KW - LĂ“GICA MODAL ER -