按相关排序
全部格式
全部页数
时间不限
只看优质
只看可投资
展开
排序：
相关 最多阅读 最新上传
格式：
全部 doc pdf ppt xls txt 豆单
页数：
全部 1-8页 9-100页 100页以上
时间：
全部 2024年 2023年 2022年及以前
66
Combinatory Categorial Grammar a (gentle) introduction.pdf
Combinatory Categorial Grammar a (gentle) introduction
收藏到书房
5
Semantic Labelling for Termination of Combinatory Reduction Systems.pdf
We give a method of proving termination of Klop s higher-order rewrit- ing format, combinatory reduction system (CRS). Our method called higher-order semantic labelling is an extension of Zantema s semantic labelling for rst-order term rewriting systems. We systematically dene the labelling by using the com- plete algebraic semantics of CRS.
收藏到书房
12
OTTER Experiments in a System of Combinatory Logic.pdf
OTTER Experiments in a System of Combinatory Logic
收藏到书房
6
Categorial Grammars, Combinatory Logic and the Korean Language….pdf
Categorial Grammars, Combinatory Logic and the Korean Language…
收藏到书房
16
Combinatory Logic Synthesizer.pdf
Combinatory Logic Synthesizer
收藏到书房
10
Combinatory Categorial Grammar.pdf
Combinatory Categorial Grammar
收藏到书房
13
Resource Combinatory Algebras.pdf
Resource Combinatory Algebras
收藏到书房
15
Combinatory Logic Synthesizer.pdf
Combinatory Logic Synthesizer
收藏到书房
37
Efficient Realization of Coordinate Structures in Combinatory Categorial Grammar.pdf
Efficient Realization of Coordinate Structures in Combinatory Categorial GrammarEfficient Realization of Coordinate Structures in Combinatory Categorial GrammarEfficient Realization of Coordinate Structures in Combinatory Categorial Grammar
收藏到书房
42
The Combinatory Morphemic Lexicon.pdf
The Combinatory Morphemic Lexicon
收藏到书房

向豆丁求助：有没有Combinatory?

相关搜索
如要投诉违规内容，请联系我们按需举报；如要提出意见建议，请到社区论坛发帖反馈。