Logical Foundations of Computer Science
Nerode, Anil.
Logical Foundations of Computer Science Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11-14, 1994 Proceedings / edited by Anil Nerode, Yu. V. Matiyasevich. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540484424
Computer science.; Computer software.; Logic design.; Logic, Symbolic and mathematical.; Computer Science.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Foundations.
Logical Foundations of Computer Science Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11-14, 1994 Proceedings / edited by Anil Nerode, Yu. V. Matiyasevich. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540484424
Computer science.; Computer software.; Logic design.; Logic, Symbolic and mathematical.; Computer Science.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Foundations.