Logics in Artificial Intelligence 

 - Berlin  Springer  1998 
 - x, 388 
<br/><br/><label>ISBN: </label> DM 82.00