단행본 상세

서지주요정보
Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers
서명 / 저자 Language, Logic, and Computation [electronic resource] : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers / edited by Aybüke Özgün, Yulia Zinova.
저자명 Özgün, Aybüke. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Zinova, Yulia. editor. edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
판사항 1st ed. 2022.
발행사항 Cham : Springer International Publishing : Imprint: Springer, 2022.
총서명 Lecture Notes in Computer Science, 1611-3349 ; 13206
Online Access https://doi.org/10.1007/978-3-... URL

서지기타정보

서지기타정보
ISBN 9783030984793
기타 표준번호 10.1007/978-3-030-98479-3
청구기호 QA267-268.5
형태사항 XVI, 355 p. 63 illus., 8 illus. in color. online resource.
언어 English
내용 Language and Logic -- Logic and Computation -- Mathematical Logic -- Computational Linguistics -- Semantics -- Georgian -- German.
주제 Machine theory.
Computer science.
Software engineering.
Logic programming.
Natural language processing (Computer science).
Formal Languages and Automata Theory.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Logic in AI.
Natural Language Processing (NLP).
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783030984786 Printed edition: 9783030984809
QR CODE