Languages: From Formal to Natural
Grumberg, Orna.
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / edited by Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642017483
Computer science.; Information theory.; Logic design.; Logic, Symbolic and mathematical.; Computer Science.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.; Logics and Meanings of Programs.; Theory of Computation.; Arithmetic and Logic Structures.
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / edited by Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642017483
Computer science.; Information theory.; Logic design.; Logic, Symbolic and mathematical.; Computer Science.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.; Logics and Meanings of Programs.; Theory of Computation.; Arithmetic and Logic Structures.