Higher Order Logic Theorem Proving and Its Applications
Thomas Schubert, E.
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
9783540447849
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.
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
9783540447849
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.