REBIUN - ODA

Descripción del título

Languages: From Formal to N...

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

Grumberg, Orna

Springer Berlin Heidelberg 2009

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

Ver

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

Monografía

monografia Rebiun10312157 https://catalogo.rebiun.org/rebiun/record/Rebiun10312157 100301s2009 gw | s |||| 0|eng d 9783642017483 978-3-642-01748-3 9783642017476 ed. impresa) UPNA0455809 UMO 87279 UMA.RE Grumberg, Orna Languages: From Formal to Natural Recurso electrónico] Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday edited by Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner Servicio en línea Berlin, Heidelberg Springer Berlin Heidelberg 2009 Berlin, Heidelberg Berlin, Heidelberg Springer Berlin Heidelberg digital Lecture Notes in Computer Science 0302-9743 5533 Acceso restringido a miembros del Consorcio de Bibliotecas Universitarias de Andalucía 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 Modo de acceso: World Wide Web Springer (CS) 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 Kaminski, Michael Katz, Shmuel Wintner, Shuly SpringerLink (Online service) Lecture notes in computer science (Servicio en línea) SpringerLink eBooks (Servicio en línea) Springer eBooks Springer eBooks

• Localizaciones: 3
• Préstamo interbibliotecario

• Exportar
  • Dublin Core
  • Google scholar
  • RIS
  • RefWorks
• Favorito
• Compartir

Información Sólo puedes introducir una dirección de email ×

Introduce un email para compartir el título

Email Pon el email de la persona con la que deseas compartir este contenido

Error .alert.alert-info

Cerrar Compartir por email

Información Haz clic en el cuadro de texto para seleccionar el contenido y copiarlo al portapapeles

Enlace permanente https://catalogo.rebiun.org/rebiun/record/Rebiun10312157

Cerrar

monografia Rebiun10312157 https://catalogo.rebiun.org/rebiun/record/Rebiun10312157 100301s2009 gw | s |||| 0|eng d 9783642017483 978-3-642-01748-3 9783642017476 ed. impresa) UPNA0455809 UMO 87279 UMA.RE Grumberg, Orna Languages: From Formal to Natural Recurso electrónico] Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday edited by Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner Servicio en línea Berlin, Heidelberg Springer Berlin Heidelberg 2009 Berlin, Heidelberg Berlin, Heidelberg Springer Berlin Heidelberg digital Lecture Notes in Computer Science 0302-9743 5533 Acceso restringido a miembros del Consorcio de Bibliotecas Universitarias de Andalucía 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 Modo de acceso: World Wide Web Springer (CS) 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 Kaminski, Michael Katz, Shmuel Wintner, Shuly SpringerLink (Online service) Lecture notes in computer science (Servicio en línea) SpringerLink eBooks (Servicio en línea) Springer eBooks Springer eBooks