Logical Foundations of Computer Science - Tver '92
Nerode, Anil.
Logical Foundations of Computer Science - Tver '92 Second International Symposium Tver, Russia, July 20-24, 1992 Proceedings / edited by Anil Nerode, Mikhail Taitslin. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540472766
Computer science.; Computer software.; Logic design.; Logic, Symbolic and mathematical.; Computer Science.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.
Logical Foundations of Computer Science - Tver '92 Second International Symposium Tver, Russia, July 20-24, 1992 Proceedings / edited by Anil Nerode, Mikhail Taitslin. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540472766
Computer science.; Computer software.; Logic design.; Logic, Symbolic and mathematical.; Computer Science.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.