Ramsay, Allan <br/><br/>
Formal methods in artificial intelligence 

 - 1st ed. 
 - Cambridge :   Cambridge University Press,  1988 
 - ix, 279 p.  :  ill.  ;  26 cm. 
<br/><br/><label>ISBN: </label>9780521424219 
<br/><br/><label>Standard No.: </label>DIF-M6383 
<br/><br/><label>Subjects--Topical Terms: </label><br/>INTELIGENCIA ARTIFICIAL<br/>LÓGICA MODAL