Proof Theory in Computer Science
Kahle, Reinhard.
Proof Theory in Computer Science International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001 Proceedings / edited by Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540455042
Computer science.; Computer software.; Logic design.; Artificial intelligence.; Logic, Symbolic and mathematical.; Computer Science.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).; Logics and Meanings of Programs.; Mathematical Logic and Foundations.; Algorithm Analysis and Problem Complexity.
Proof Theory in Computer Science International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001 Proceedings / edited by Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540455042
Computer science.; Computer software.; Logic design.; Artificial intelligence.; Logic, Symbolic and mathematical.; Computer Science.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).; Logics and Meanings of Programs.; Mathematical Logic and Foundations.; Algorithm Analysis and Problem Complexity.