形式語(yǔ)義學(xué)的穩(wěn)定論域理論

定　價(jià)：￥18.00

作　者：	陳儀香著
出版社：	科學(xué)出版社
叢編項(xiàng)：	國(guó)家自然科學(xué)基金研究專著數(shù)理科學(xué)系列
標(biāo)　簽：	語(yǔ)法

ISBN：	9787030112644	出版時(shí)間：	2003-06-01	包裝：	簡(jiǎn)裝本
開本：	20cm	頁(yè)數(shù)：	216	字?jǐn)?shù)：

　　國(guó)家自然科學(xué)基金研究成果專著出版基金資助。本書講述了計(jì)算機(jī)語(yǔ)言形式語(yǔ)義的穩(wěn)定論域理論中的序理論、邏輯結(jié)構(gòu)和拓?fù)浞椒?，論述了穩(wěn)定映射的代數(shù)、拓?fù)淇坍嬕约佰E表示等內(nèi)容。

暫缺《形式語(yǔ)義學(xué)的穩(wěn)定論域理論》作者簡(jiǎn)介

暫缺《形式語(yǔ)義學(xué)的穩(wěn)定論域理論》目錄

掃描二維碼