Theorem Proving in Higher Order Logics
Goos, Gerhard.
Theorem Proving in Higher Order Logics 9th International Conference, TPHOLs’96 Turku, Finland, August 26-30, 1996 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540706410
Computer science.; Logic design.; Software engineering.; Artificial intelligence.; Logic, Symbolic and mathematical.; Computer Science.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).; Logic Design.; Logics and Meanings of Programs.; Mathematical Logic and Foundations.; Software Engineering.
Theorem Proving in Higher Order Logics 9th International Conference, TPHOLs’96 Turku, Finland, August 26-30, 1996 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540706410
Computer science.; Logic design.; Software engineering.; Artificial intelligence.; Logic, Symbolic and mathematical.; Computer Science.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).; Logic Design.; Logics and Meanings of Programs.; Mathematical Logic and Foundations.; Software Engineering.