Thiagarajan, P. S.

Foundations of Software Technology and Theoretical Computer Science 15th Conference Bangalore, India, December 18-20, 1995 Proceedings / edited by P. S. Thiagarajan. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan

9783540492634


Computer science.; Computer software.; Logic design.; Artificial intelligence.; Combinatorics.; Computer Science.; Computation by Abstract Devices.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Combinatorics.; Artificial Intelligence (incl. Robotics).