Automated Reasoning with Analytic Tableaux and Related Methods
Dyckhoff, Roy.
Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings / edited by Roy Dyckhoff. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540450085
Computer science.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.
Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings / edited by Roy Dyckhoff. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540450085
Computer science.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.