Nonmonotonic and Inductive Logic 1st International Workshop Karlsruhe, Germany, December 4-7, 1990 Proceedings /
edited by J. Dix, K. P. Jantke, P. H. Schmitt.
- On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540384694
Computer science.; Logic design.; Artificial intelligence.; Logic, Symbolic and mathematical.; Computer Science.; Artificial Intelligence (incl. Robotics).; Logics and Meanings of Programs.; Mathematical Logic and Foundations.