단행본 상세

서지주요정보
Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings
서명 / 저자 Logic, Language, Information, and Computation [electronic resource] : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings / edited by Alexandra Silva, Renata Wassermann, Ruy de Queiroz.
저자명 Silva, Alexandra. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Wassermann, Renata. editor. edt http://id.loc.gov/vocabulary/relators/edt ; de Queiroz, Ruy. editor. edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
판사항 1st ed. 2021.
발행사항 Cham : Springer International Publishing : Imprint: Springer, 2021.
총서명 Theoretical Computer Science and General Issues, 2512-2029 ; 13038
Online Access https://doi.org/10.1007/978-3-... URL

서지기타정보

서지기타정보
ISBN 9783030888534
기타 표준번호 10.1007/978-3-030-88853-4
청구기호 BC1-199
형태사항 VIII, 427 p. 53 illus., 5 illus. in color. online resource.
언어 English
내용 Logic -- Language -- Computation -- Proofs -- Formal Languages -- Category Theory -- Deduction systems.
주제 Logic.
Logic.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783030888527 Printed edition: 9783030888541
QR CODE