Instantiation Theory
Williams, James G.
Instantiation Theory On the Foundations of Automated Deduction / by James G. Williams. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540475613
Computer science.; Computer software.; Algebra; Artificial intelligence.; Logic, Symbolic and mathematical.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Symbolic and Algebraic Manipulation.; Algorithm Analysis and Problem Complexity.; Programming Techniques.; Mathematical Logic and Foundations.
Instantiation Theory On the Foundations of Automated Deduction / by James G. Williams. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540475613
Computer science.; Computer software.; Algebra; Artificial intelligence.; Logic, Symbolic and mathematical.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Symbolic and Algebraic Manipulation.; Algorithm Analysis and Problem Complexity.; Programming Techniques.; Mathematical Logic and Foundations.