HOME > 상세정보

상세정보

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

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

자료유형
E-Book(소장)
개인저자
Hansen, Helle Hvid.
서명 / 저자사항
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 / Helle Hvid Hansen ... [et al.], editors.
발행사항
Berlin :   Springer,   c2017.  
형태사항
1 online resource (xxviii, 355 p.) : ill.
총서사항
LNCS Sublibrary. SL1, Theoretical Computer Science and General Issues
ISBN
9783662543313 9783662543320 (e-book)
요약
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.
일반주기
Title from e-Book title page.  
서지주기
Includes bibliographical references and index.
이용가능한 다른형태자료
Issued also as a book.  
일반주제명
Computer logic --Congresses. Programming languages (Electronic computers) --Semantics --Congresses. Computational linguistics --Congresses.
바로가기
URL
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 도서상태 대출불가(열람가능) 반납예정일 예약 서비스 M

컨텐츠정보

저자소개

Henk Zeevat(엮은이)

Sarah E. Murray(엮은이)

Helle Hvid Hansen(엮은이)

Mehrnoosh Sadrzadeh(엮은이)

정보제공 : Aladin

목차

Language and Logic.- Logic and Computation.


정보제공 : Aladin

관련분야 신착자료