The contributors are among the world's leading researchers inautomated reasoning. Their essays cover the theory, software systemdesign, and use of these systems to solve real problems.Essays in Honor of Larry Wos Robert Veroff Gail W. Pieper. Robert S. Boyer University of Texas at Austin J Strother Moore Computational Logic, Inc. The design of a new processor often requires the invention and use of a new machine - levelanbsp;...
|Title||:||Automated Reasoning and Its Applications|
|Publisher||:||MIT Press - 1997|