语用寓义推理形式化研究

语用寓义推理形式化研究

出版社：科学出版社

ISBN：9787030704078

出版年：2022

作者：毛眺源

学科：语言、文字学

资源类型：图书

细分类型：中文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

形式化方法导论

作者：张广泉
ISBN：9787302626602
出版社：清华大学出版社
出版年：2023

基于认知的自然语言自动形式化研究

作者：徐超
ISBN：9787522714615
出版社：中国社会科学出版社
出版年：2023

形式语义及编译形式化

作者：龚淳
出版年：1985

形式化方法导论

作者：张广泉
ISBN：9787302411611
出版社：清华大学出版社
出版年：2015

Simulink/Stateflow在Isabelle下的形式化

作者：易士程
出版社：中国科学院软件研究所
出版年：2023

文本分类中特征选择的形式化研究

作者：靖红芳
出版年：2009