Time and logic :  a computational approach / 
edited by Leonard Bolc and Andrzej Szaas 
 - London :  UCL Press,  1995 
 - viii, 325 :  ill. ;  24 cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>1857282337 :  USD 30.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming<br/>Time
<br/><br/><label>Dewey Class. No.: </label>005.1015113