Miller, Dale ET AL <br/><br/>
Programming with higher-order logic  
Miller ET AL 
 - United States of America  Dale Miller ET AL  2012 
 - xiii 306 p.; ill.; 23cm  23cm 
<br/><br/><label>ISBN: </label>9780521879408 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming