55
Discontinuous Lambek Calculus:不连续的Lambek演算.pdf
Discontinuous Lambek Calculus:不连续的Lambek演算不连续的,不连续
59
Proof Nets for the Multimodal Lambek Calculus From Theory to a Wide-Coverage Categorial Parser.pdf
Proof Nets for the Multimodal Lambek Calculus From Theory to a Wide-Coverage Categorial Parser
59
Proof nets for the multimodal Lambek calculus.pdf
Proof nets for the multimodal Lambek calculus
87
Lambek-Grishin Calculus Extended to Connectives of Arbitrary….pdf
Lambek–Grishin Calculus Extended to Connectives of Arbitrary…
46
Lambek Calculus and Linear Logic Proof Nets as Parse Structures.pdf
Lambek Calculus and Linear Logic Proof Nets as Parse Structures
22
Lambek vs. Lambek Functorial vector space semantics and string diagrams for Lambek calculus.pdf
Lambek vs. Lambek Functorial vector space semantics and string diagrams for Lambek calculus
43
The Multimodal Lambek Calculus.pdf
The Multimodal Lambek Calculus
31
focalization and phase models for classical extensions of non-associative lambek calculus.pdf
focalization and phase models for classical extensions of non-associative lambek calculus
32
the lambek calculus extended with intuitionistic propositional logic.pdf
the lambek calculus extended with intuitionistic propositional logic
35
normalization and sub-formula property for lambek with product.pdf
normalization and sub-formula property for lambek with product

向豆丁求助:有没有lambek?

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