| 書(shū)目名稱 | Languages: From Formal to Natural | | 副標(biāo)題 | Essays Dedicated to | | 編輯 | Orna Grumberg,Michael Kaminski,Shuly Wintner | | 視頻video | http://file.papertrans.cn/582/581229/581229.mp4 | | 叢書(shū)名稱 | Lecture Notes in Computer Science | | 圖書(shū)封面 |  | | 描述 | .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.. | | 出版日期 | Book 2009 | | 關(guān)鍵詞 | computational linguistics; formal grammers; hybrid bdd; lambek calculus; lazy commutation; model checking | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-01748-3 | | isbn_softcover | 978-3-642-01747-6 | | isbn_ebook | 978-3-642-01748-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2009 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 07:22
發(fā)表于 2025-3-21 18:08:03
