000 | 03494nam a22005655i 4500 | ||
---|---|---|---|
001 | 978-3-642-01748-3 | ||
003 | DE-He213 | ||
005 | 20201213201526.0 | ||
007 | cr nn 008mamaa | ||
008 | 100301s2009 gw | s |||| 0|eng d | ||
020 |
_a9783642017483 _9978-3-642-01748-3 |
||
024 | 7 |
_a10.1007/978-3-642-01748-3 _2doi |
|
050 | 4 | _aQA8.9-QA10.3 | |
072 | 7 |
_aUYA _2bicssc |
|
072 | 7 |
_aMAT018000 _2bisacsh |
|
072 | 7 |
_aCOM051010 _2bisacsh |
|
082 | 0 | 4 |
_a005.131 _223 |
100 | 1 |
_aGrumberg, Orna. _eeditor. |
|
245 | 1 | 0 |
_aLanguages: From Formal to Natural _h[electronic resource] : _bEssays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / _cedited by Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2009. |
|
300 |
_aX, 245 p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v5533 |
|
505 | 0 | _aLanguages: 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 | _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 | 0 | _aComputer science. | |
650 | 0 | _aInformation theory. | |
650 | 0 | _aLogic design. | |
650 | 0 | _aLogic, Symbolic and mathematical. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
650 | 2 | 4 | _aMathematical Logic and Foundations. |
650 | 2 | 4 | _aLogics and Meanings of Programs. |
650 | 2 | 4 | _aTheory of Computation. |
650 | 2 | 4 | _aArithmetic and Logic Structures. |
700 | 1 |
_aKaminski, Michael. _eeditor. |
|
700 | 1 |
_aKatz, Shmuel. _eeditor. |
|
700 | 1 |
_aWintner, Shuly. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783642017476 |
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v5533 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-01748-3 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-LNC | ||
950 | _aComputer Science (Springer-11645) | ||
999 |
_c16007 _d16007 |