Cover Image

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /

This Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthday, contains 15 papers, written by friends and colleagues, many of whom congregated at a celebratory symposium held on May 24-25, 2009, in Haifa, Israel. The theme of the symposium was Languages: From For...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Grumberg, Orna. (Editor), Kaminski, Michael. (Editor), Katz, Shmuel. (Editor), Wintner, Shuly. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Series:Lecture Notes in Computer Science, 5533
Subjects:
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.
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-01748-3

Fulltext / Holdings URL

https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-01748-3

Similar Items