Mauri, Giancarlo.

Developments in Language Theory 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings / edited by Giancarlo Mauri, Alberto Leporati. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan

9783642223211


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