LORIA UMR n°7503 -INRIA Campus Scientifique, B.P. 239 54506 Vandoeuvre les Nancy Cedex -France;
机译:直觉命题逻辑的自然演绎中的面向目标的证明搜索
机译:使用允许名词性术语和集合进行逻辑和证明搜索的量词
机译:直觉命题逻辑的证明搜索程序
机译:在偶然的线性逻辑中证明搜索作为匹配问题
机译:利用组合逻辑与逆变器链的异步有界延迟微伏度的鲁棒性比较
机译:马尔可夫逻辑网络的解剖本体匹配
机译:混合线性逻辑中的证明搜索和证明网
机译:单输入非线性系统的线性化模型匹配