Automated Reasoning and Its Applications

Automated Reasoning and Its Applications

4.11 - 1251 ratings - Source

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
Author:Robert Veroff
Publisher:MIT Press - 1997


You Must CONTINUE and create a free account to access unlimited downloads & streaming