Logic, Language, and Computation
This book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, held in Kutaisi, Georgia, in September 2011. The book consists of summaries of 3 tutorials presented at the symposium together with 13 full papers that were car...
Đã lưu trong:
| Những tác giả chính: | , , |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Được phát hành: |
Springer
2015
|
| Những chủ đề: | |
| Truy cập trực tuyến: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58376 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| id |
oai:scholar.dlu.edu.vn:DLU123456789-58376 |
|---|---|
| record_format |
dspace |
| spelling |
oai:scholar.dlu.edu.vn:DLU123456789-583762023-11-11T06:01:29Z Logic, Language, and Computation Bezhanishvili, G Löbner, S Marra, V Computer logic Congresses Programming languages Electronic computers This book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, held in Kutaisi, Georgia, in September 2011. The book consists of summaries of 3 tutorials presented at the symposium together with 13 full papers that were carefully reviewed and selected from the submissions. The papers are organized in two sections, one on Language and one on Logic and Computation. The range of topics covered in the Language section includes natural language syntax, semantics, and pragmatics, frames in natural language semantics, linguistic typology, and discourse phenomena. The papers in the Logic and Computation section cover such topics as constructive, modal, algebraic, and philosophical logic, as well as logics for computer science applications. 2015-09-18T07:55:31Z 2015-09-18T07:55:31Z 2015 Book 978-3-642-36976-6 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58376 en application/pdf Springer |
| institution |
Thư viện Trường Đại học Đà Lạt |
| collection |
Thư viện số |
| language |
English |
| topic |
Computer logic Congresses Programming languages Electronic computers |
| spellingShingle |
Computer logic Congresses Programming languages Electronic computers Bezhanishvili, G Löbner, S Marra, V Logic, Language, and Computation |
| description |
This book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, held in Kutaisi, Georgia, in September 2011. The book consists of summaries of 3 tutorials presented at the symposium together with 13 full papers that were carefully reviewed and selected from the submissions. The papers are organized in two sections, one on Language and one on Logic and Computation. The range of topics covered in the Language section includes natural language syntax, semantics, and pragmatics, frames in natural language semantics, linguistic typology, and discourse phenomena. The papers in the Logic and Computation section cover such topics as constructive, modal, algebraic, and philosophical logic, as well as logics for computer science applications. |
| format |
Book |
| author |
Bezhanishvili, G Löbner, S Marra, V |
| author_facet |
Bezhanishvili, G Löbner, S Marra, V |
| author_sort |
Bezhanishvili, G |
| title |
Logic, Language, and Computation |
| title_short |
Logic, Language, and Computation |
| title_full |
Logic, Language, and Computation |
| title_fullStr |
Logic, Language, and Computation |
| title_full_unstemmed |
Logic, Language, and Computation |
| title_sort |
logic, language, and computation |
| publisher |
Springer |
| publishDate |
2015 |
| url |
https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58376 |
| _version_ |
1819816797434544128 |