Automated practical reasoning :  algebraic approaches / 
edited by Jochen Pfalzgraf [and] Dongming Wang 
 - Wien :  Springer-Verlag,  c1995 
 - xi, 223 p. ;  25 cm. 
 - Texts and monographs in symbolic computation  0943-853X .
<br/><br/> Includes index 
<br/><br/><label>ISBN: </label>3211826009 :  DM 98.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving<br/>Practical reason<br/>Reasoning
<br/><br/><label>Dewey Class. No.: </label>005.131