Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Titre(s) : Languages [Texte électronique] : From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / Orna Grumberg ... [et al.] (eds.)
Publication : Berlin, Heidelberg : Springer Berlin Heidelberg : Springer e-books, 2009
Description matérielle : 1 online resource
Collection : Lecture Notes in Computer Science (Internet) ; 5533
Lecture Notes in Computer Science ; 5533
Note(s) : 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 Formal to Natural, reflecting the focus
of Nissim Francez' research career, which started in program verification and the
semantics of programming languages and later concentrated on natural languages and
computational linguistics. The papers included in this volume cover the entire spectrum
of this field of research
Autre(s) auteur(s) : Wintner, Shuly (1963-....). Éditeur scientifique
Katz, Shmuel. Éditeur scientifique
Grumberg, Orna. Éditeur scientifique
Kaminski, Michael. Éditeur scientifique
Sujet(s) : Langages de programmation -- Actes de congrès
Langages formels -- Actes de congrès
Informatique
Logique mathématique
Ordinateurs
Unités arithmétiques et logiques
Genre ou forme : Mélanges et hommages
Indice(s) Dewey :
005.131 (23e éd.) = Logique symbolique (informatique) ; 005.13 (23e éd.) = Programmation des ordinateurs ; 004 (23e éd.) = Informatique
Identifiants, prix et caractéristiques : ISBN 9783642017483
Identifiant de la notice : ark:/12148/cb44697998n
Notice n° :
FRBNF44697998
(notice reprise d'un réservoir extérieur)