Kumar, Ramayya. <br/><br/>
Theorem Provers in Circuit Design  Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26-28, 1994 Proceedings / 
edited by Ramayya Kumar, Thomas Kropf. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783540491774 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Microprogramming.; Artificial intelligence.; Electronics.; Computer Science.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).; Control Structures and Microprogramming.; Electronics and Microelectronics, Instrumentation.