Ramsay, Allan Formal methods in artificial intelligence - 1st ed. - Cambridge : Cambridge University Press, 1988 - ix, 279 p. : ill. ; 26 cm. ISBN: 9780521424219 Standard No.: DIF-M6383 Subjects--Topical Terms: INTELIGENCIA ARTIFICIALLÓGICA MODAL