LC CutterNumber :
.A96,A92
Title :
Automated reasoning
Author Statement :
edited by Robert S. Boyer
Publication :
Kluwer Academic Publishers
Collation :
xi, 365 p.: ill.; 25 cm
Series :
Automated reasoning series ; v. 1
Subject :
Automatic theorem proving,Artificial intelligence
ADDED ENTRIES :
Boyer, Robert S
Holding Info. :
0792314093
SubTitle :
: essays in honor of Woody Bledsoe
Biblography :
Includes bibliographical references and index
