机译:分级逻辑方法及其应用
Univ Insubria, DiSTA Dept Theoret & Appl Sci, Via Mazzini 5, I-21100 Varese, Italy;
CSIC, Artificial Intelligence Res Inst IIIA, Campus Univ Autonoma Barcelona S-N, Bellaterra 08193, Spain;
Johannes Kepler Univ Linz, Dept Knowledge Based Math Syst, A-4040 Linz, Austria;
机译:元语言在分级逻辑方法中的作用
机译:逻辑方法在论证中的应用
机译:逻辑方法对论证的应用
机译:针对组织工程应用的基于挤出的功能梯度支架设计和制造的化学工程方法
机译:通过用二氧化碳的超临界浸渍,用烷基酮二聚体(AKD)和食品级蜡的包装应用的纤维纤维疏水化 - 实验和热力学建模方法
机译:模糊逻辑代数及其应用
机译:分级逻辑方法及其应用
机译:并发逻辑框架II:示例和应用程序