01081nam0 22002891i 450 UON0013303420231205102804.51320020107d1995 |0itac50 bakorKP|||| 1||||Im Song Ju ui saengui ch'olhakKim HyonjiSeoulHangilsac1995239 p.23 cmDono MinisteroIT-UONSI CORVII/046 N001UON001330332001 Han'guk sa sangsa5FILOSOFIACoreaSaggiUONC007963FIKRSeoulUONL000020COR VIICOREA - FILOSOFIA E RELIGIONEAKIMHyonjiUONV081427669352HangilsaUONV263021650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00133034SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI COR VII 046 N SI SA 98788 5 046 N Dono MinisteroIm Song Ju ui saengui ch'olhak1313500UNIOR01506oam 2200469 450 991082997280332120230124200825.01-119-48921-01-119-48925-31-119-48922-9(CKB)4100000011658430(MiAaPQ)EBC6427675(CaSebORM)9781786301284(EXLCZ)99410000001165843020210604d2020 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierFormal semantics in modern type theories /Stergios Chatzikyriakidis, Zhaohui LuoLondon, England :ISTE Ltd ;Hoboken, New Jersey :John Wiley & Sons, Incorporated,[2020]©20201 online resource (241 pages) illustrations1-78630-128-8 Includes bibliographical references and index.Type theorySemanticsMathematical modelsNatural language processing (Computer science)Type theory.SemanticsMathematical models.Natural language processing (Computer science)006Chatzikyriakidis Stergios1615394Luo ZhaohuiMiAaPQMiAaPQUtOrBLWBOOK9910829972803321Formal semantics in modern type theories3945564UNINA