Thomas Schubert, E. <br/><br/>
Higher Order Logic Theorem Proving and Its Applications  8th International Workshop Aspen Grove, UT, USA, September 11-14, 1995 Proceedings / 
edited by E. Thomas Schubert, Philip J. Windley, James Alves-Foss. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783540447849 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Logic design.; Software engineering.; Operating systems (Computers).; Artificial intelligence.; Electronics.; Computer Science.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).; Logic Design.; Electronics and Microelectronics, Instrumentation.; Software Engineering.; Operating Systems.