Computational Logic Group Dept. of Computer Science and Artificial Intelligence, University of Seville E.T.S.I. Informatica, Avda. Reina Mercedes, s. 41012 Sevilla, Spain;
机译:结构化系统符号验证的基于理想的算法(特邀演讲)
机译:通过符号计算实现模拟IC设计的自动推理-调查
机译:程序验证,自动调试和符号计算前言专刊
机译:证明和计算:应用自动推理到象征性计算系统的验证
机译:计算逻辑系统中的自动生成和使用示例(人工智能,定理证明,形式推理)。
机译:关于符号和非符号计算之间关系的动力学系统观点
机译:符号计算系统中自动推理的后续演算
机译:将自动定理证明与符号代数系统相结合:立场文件