Curry; property-oriented specifications; semantics-based inference methods;
机译:在功能逻辑语言中,由逻辑功能自动规范合成的其他困难
机译:在功能逻辑语言中,由逻辑功能自动规范合成的其他困难
机译:功能逻辑语言中的XPath查询处理
机译:在功能逻辑语言中逻辑特征自动合成规范的额外困难
机译:功能逻辑编程语言的抽象操作模型。
机译:学习英语作为一种额外的语言和单语同伴的孩子所经历的英语困难的持久性和功能影响
机译:功能逻辑语言中逻辑特性引起的规范自动合成的额外困难