Automated Deduction - CADE-21
Pfenning, Frank.
Automated Deduction - CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings / edited by Frank Pfenning. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540735953
Computer science.; Software engineering.; Logic design.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Software Engineering.
Automated Deduction - CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings / edited by Frank Pfenning. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540735953
Computer science.; Software engineering.; Logic design.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Software Engineering.