INRIA Saclay - Ile-de-Prance Ecole polytechnique (LIX);
ludics; game semantics; logic programming; proof search; interaction; proof normalization;
机译:卢迪克证明书Reviel Netz。鲁迪克证明,希腊数学和亚历山大美学。剑桥:剑桥大学出版社,2009年。ISBN978-0-521-89894-2。 Pp。 xvi + 255
机译:高阶命令式程序的有效交互证明
机译:一阶答案集编程作为构造性证明搜索
机译:走向思路编程:互动证明搜索
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:遗传编程...公式...证明搜索...公式...自动改进
机译:Coq证明助手中的交互式打字战术编程
机译:搜索:用于优化双变量,无约束实验或模拟的交互式计算机程序