Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2009.
|
| Edición: | 1st ed. 2009. |
| Colección: | Programming and Software Engineering,
5533 |
| Temas: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-01748-3 | ||
| 003 | DE-He213 | ||
| 005 | 20220311225628.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100301s2009 gw | s |||| 0|eng d | ||
| 020 | |a 9783642017483 |9 978-3-642-01748-3 | ||
| 024 | 7 | |a 10.1007/978-3-642-01748-3 |2 doi | |
| 050 | 4 | |a QA267-268.5 | |
| 072 | 7 | |a UYA |2 bicssc | |
| 072 | 7 | |a MAT018000 |2 bisacsh | |
| 072 | 7 | |a UYA |2 thema | |
| 082 | 0 | 4 | |a 005.131 |2 23 |
| 245 | 1 | 0 | |a Languages: From Formal to Natural |h [electronic resource] : |b Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / |c edited by Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner. |
| 250 | |a 1st ed. 2009. | ||
| 264 | 1 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg : |b Imprint: Springer, |c 2009. | |
| 300 | |a X, 245 p. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Programming and Software Engineering, |x 2945-9168 ; |v 5533 | |
| 505 | 0 | |a Languages: From Formal to Natural -- Modular Verification of Recursive Programs -- Semi-formal Evaluation of Conversational Characters -- Scope Dominance with Generalized Quantifiers -- Nonassociative Lambek Calculus with Additives and Context-Free Languages -- On Lazy Commutation -- Aspect Oriented Approach for Capturing and Verifying Distributed Properties -- No i-Sums for Nissim (and Shalom) -- The Power of Non-deterministic Reassignment in Infinite-Alphabet Pushdown Automata -- Modular Verification of Strongly Invasive Aspects -- Classes of Service under Perfect Competition and Technological Change -- On the Ontological Nature of Syntactic Categories in Categorial Grammar -- Masking Gateway for Enterprises -- No Syllogisms for the Numerical Syllogistic -- Formal Grammars of Early Language -- Hybrid BDD and All-SAT Method for Model Checking. | |
| 520 | |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. | ||
| 650 | 0 | |a Machine theory. | |
| 650 | 0 | |a Mathematical logic. | |
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Computer arithmetic and logic units. | |
| 650 | 1 | 4 | |a Formal Languages and Automata Theory. |
| 650 | 2 | 4 | |a Mathematical Logic and Foundations. |
| 650 | 2 | 4 | |a Computer Science Logic and Foundations of Programming. |
| 650 | 2 | 4 | |a Theory of Computation. |
| 650 | 2 | 4 | |a Arithmetic and Logic Structures. |
| 700 | 1 | |a Grumberg, Orna. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Kaminski, Michael. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Katz, Shmuel. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Wintner, Shuly. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783642017490 |
| 776 | 0 | 8 | |i Printed edition: |z 9783642017476 |
| 830 | 0 | |a Programming and Software Engineering, |x 2945-9168 ; |v 5533 | |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1007/978-3-642-01748-3 |z Texto Completo |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-LNC | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||