LC CutterNumber :
.A96,A9
Title :
Automated practical reasoning
Author Statement :
Jochen Pfalzgraf and Dongming Wang, eds. ; with a foreword by Jim Cunningham
Publication :
Springer-Verlag
Collation :
xi, 223 p.: illus.; 24 cm
Series :
Texts and monographs in symbolic computation, 0943-853X
Subject :
Automatic theorem proving,Reasoning
ADDED ENTRIES :
Pfalzgraf, Jochen
Holding Info. :
3211826009
SubTitle :
: algebraic approaches
Biblography :
Includes bibliographical references and index
