Treur, Jan Witter, Thomas  <br/><br/>
Formal specification of complex reasoning systems  

 - Ellis horwood   New York   1993 
 -  795 
<br/><br/><label>ISBN: </label>0-13-336785-1  
<br/><br/><label>Subjects--Topical Terms: </label><br/>MATHEMATICS 
<br/><br/><label>Dewey Class. No.: </label>515