Executable Modal and Temporal Logics
Fisher, Michael.
Executable Modal and Temporal Logics IJCAI '93 Workshop Chambery, France, August 28, 1993 Proceedings / edited by Michael Fisher, Richard Owens. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540491682
Computer science.; Artificial intelligence.; Logic, Symbolic and mathematical.; Computer Science.; Artificial Intelligence (incl. Robotics).; Programming Techniques.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.
Executable Modal and Temporal Logics IJCAI '93 Workshop Chambery, France, August 28, 1993 Proceedings / edited by Michael Fisher, Richard Owens. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540491682
Computer science.; Artificial intelligence.; Logic, Symbolic and mathematical.; Computer Science.; Artificial Intelligence (incl. Robotics).; Programming Techniques.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.