University of South Florida.;
机译:Godel Logic的超自然演绎-一种用于并行推理的自然演绎系统
机译:在古典高阶逻辑中组合和自动化古典和非古典逻辑
机译:论Herbrand建构逻辑的自然演绎II:一阶逻辑和算术中马尔可夫原理的库里·霍华德对应
机译:命题线性时间临时逻辑自动自然扣除
机译:康德经验形而上学的基础工作:关于先验演绎对“纯理性批判”中原理分析的贡献的论文。
机译:具有自然语言处理的自动神经皮层MRI协议工具的开发和网络部署
机译:命题线性时间时态逻辑的自动自然演绎*
机译:谓词/过渡网络s不变量的自动解释:非经典逻辑的应用