| 000 | 00545nam a2200157Ia 4500 | ||
|---|---|---|---|
| 999 |
_c22597 _d22597 |
||
| 008 | 161214s9999 xx 000 0 und d | ||
| 020 |
_a9783642017476 _cpbk |
||
| 082 |
_a004 _bGRU |
||
| 100 | _aGrumberg, Orna | ||
| 245 | 0 | _aLanguages : From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of his 65th Birthday | |
| 260 |
_aBerlin: _bSpringer, _c2009 |
||
| 300 |
_ax, 244 p.; _bill.: _c24 cm. |
||
| 365 |
_aINR _b2929.19/ 42.95 |
||
| 440 | _v5533 | ||
| 490 | _aLecture notes in computer science | ||
| 520 | _aThis 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 | _aProgramming language | ||
| 650 | _aComputational linguistics | ||
| 650 | _aMasking Gateway | ||
| 650 | _aNumerical Syllogistic | ||
| 650 | _aSemi-formal Evaluation | ||
| 650 | _aAll-SAT Method | ||
| 650 | _aNonassociative Lambek Calculus | ||
| 650 | _aHybrid BDD | ||
| 650 | _aElectronic computers | ||
| 650 | _aInformatique | ||
| 942 |
_2ddc _cBK |
||