Nerode, Anil <br/><br/>
Logic programming and non-monotonic reasoning  : proceedings of the First International Workshop 

 - Cambridge, Mass. :  MIT,  1991 
 - 288 p. 
<br/><br/><label>LCCN: </label>43392 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programación lógica.<br/>Razonamiento.
<br/><br/><label>Dewey Class. No.: </label>005.1  / N4