![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(소장) |
Holdings Information
| No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
|---|---|---|---|---|---|---|---|
| No. 1 | Location Main Library/e-Book Collection/ | Call Number CR 410.285 | Accession No. E14017561 | Availability Loan can not(reference room) | Due Date | Make a Reservation | Service |
Contents information
Table of Contents
Language and Logic.- Logic and Computation.
Information Provided By: :
