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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Grumberg, Orna (Επιμελητής έκδοσης), Kaminski, Michael (Επιμελητής έκδοσης), Katz, Shmuel (Επιμελητής έκδοσης), Wintner, Shuly (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
• Σειρά: Lecture Notes in Computer Science, 5533
• Θέματα: Computer science.; Arithmetic and logic units, Computer.; Computers.; Computer logic.; Mathematical logic.; Computer Science.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.; Logics and Meanings of Programs.; Theory of Computation.; Arithmetic and Logic Structures.

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...