机译:不兼容的证明必须证明什么?
Department of Philosophy, University of Alabama, 336 ten Hoor Hall, Tuscaloosa, AL, 35487, USA;
Incompatibilism; Direct Argument; Indirect Argument; Campbell; Fischer;
机译:NEXP声音针对纠缠证明者的多证明人交互式证明
机译:证明给我看!从CafeOBJ证明分数推断正式证明脚本
机译:在打样上应用人性化:手动打样已证明是Pixartprinting从网络到打印成功的关键要素
机译:针对纠缠的证明者的NEXP声音的多证明者交互式证明
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:概念验证项目证明有效
机译:针对纠缠的证明者的NEXP声音的多证明者交互式证明