![Logic, language, and computation [electronic resource] : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, revised selected papers](https://image.aladin.co.kr/product/10116/84/cover/3662543311_2.jpg)
Logic, language, and computation [electronic resource] : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, revised selected papers
| 000 | 00000cam u2200205 a 4500 | |
| 001 | 000045995221 | |
| 005 | 20190829101802 | |
| 006 | m d | |
| 007 | cr | |
| 008 | 190820s2017 gw a ob 101 0 eng d | |
| 020 | ▼a 9783662543313 | |
| 020 | ▼a 9783662543320 (e-book) | |
| 040 | ▼a 211009 ▼c 211009 ▼d 211009 | |
| 050 | 0 0 | ▼a QA76.9.L63 |
| 082 | 0 0 | ▼a 410.285 ▼2 23 |
| 084 | ▼a 410.285 ▼2 DDCK | |
| 090 | ▼a 410.285 | |
| 245 | 0 0 | ▼a Logic, language, and computation ▼h [electronic resource] : ▼b 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, revised selected papers / ▼c Helle Hvid Hansen ... [et al.], editors. |
| 246 | 3 0 | ▼a TbiLLC 2015 |
| 260 | ▼a Berlin : ▼b Springer, ▼c c2017. | |
| 300 | ▼a 1 online resource (xxviii, 355 p.) : ▼b ill. | |
| 490 | 1 | ▼a LNCS Sublibrary. SL1, Theoretical Computer Science and General Issues |
| 490 | 1 | ▼a Lecture Notes in Computer Science, ▼x 0302-9743, ▼x 1611-3349 (electronic) ; ▼v 10148 |
| 500 | ▼a Title from e-Book title page. | |
| 504 | ▼a Includes bibliographical references and index. | |
| 520 | ▼a This book constitutes the refereed proceedings of the 11th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2015, held in Tbilisi, Georgia, in September 2015. The 18 papers in this book were selected from the invited submissions of full, revised versions of the 37 short papers presented at the conference, and one invited talk. Each paper has passed through a rigorous peer-review process before being accepted for publication. The biennial conference series and the proceedings are representative of the aims of the organizing institutes: to promote the integrated study of logic, information and language. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops. | |
| 530 | ▼a Issued also as a book. | |
| 538 | ▼a Mode of access: World Wide Web. | |
| 650 | 0 | ▼a Computer logic ▼v Congresses. |
| 650 | 0 | ▼a Programming languages (Electronic computers) ▼x Semantics ▼v Congresses. |
| 650 | 0 | ▼a Computational linguistics ▼v Congresses. |
| 700 | 1 | ▼a Hansen, Helle Hvid. |
| 711 | 2 | ▼a International Tbilisi Symposium on Logic, Language, and Computation ▼n (11th : ▼d 2015 : ▼c bilisi, Georgia). |
| 830 | 0 | ▼a LNCS Sublibrary. ▼n SL1, ▼p Theoretical Computer Science and General Issues. |
| 830 | 0 | ▼a Lecture Notes in Computer Science ; ▼v 10148. |
| 856 | 4 0 | ▼u https://oca.korea.ac.kr/link.n2s?url=https://doi.org/10.1007/978-3-662-54332-0 |
| 945 | ▼a KLPA | |
| 991 | ▼a E-Book(소장) |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 중앙도서관/e-Book 컬렉션/ | 청구기호 CR 410.285 | 등록번호 E14017561 | 도서상태 대출불가(열람가능) | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
목차
Language and Logic.- Logic and Computation.
정보제공 :
