Norwegian University of Science and Technology Department of Computer and Information Science;
机译:符号协商:带有联盟形式的线性逻辑的部分推论
机译:通过二值化和部分推导来加速逻辑程序
机译:通过部分演绎的逻辑程序专业化:控制问题
机译:线性逻辑部分扣除中的抽象
机译:灵活,自然演绎的自动推理机,可快速部署非经典逻辑
机译:部分酸水解对线性支化水溶性多糖大小分散性单糖组合物的影响
机译:线性逻辑的部分推导内的抽象
机译:不确定性下的推理:主观逻辑演绎的变异。