Andrews, James H., <br/><br/>
Logic programming :  Operational semantics and proof theory / 
James h. andrews 
 - 104 páginas 
<br/><br/><label>ISBN: </label>0521432197 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programación (Computadoras)
<br/><br/><label>LC Class. No.: </label>QA76.7  / A535