机译:在上下文敏感的分子生物学逻辑中进行证明搜索
Univ Padua Dipartimento Matemat Tullio Levi Civita Padua Italy;
Linear logic; non-monotonicity; labeled deductions; proof search; biochemical pathways;
机译:直觉逻辑和模态逻辑S4中用于证明搜索和计划的多主体对话和对话序列
机译:用于相关知识逻辑的自动证明搜索系统
机译:直觉命题逻辑的自然演绎中的面向目标的证明搜索
机译:聚焦证明 - 搜索逻辑的作用
机译:主题敏感SourceRank:扩展SourceRank以在Deep Web上执行上下文相关搜索。
机译:研究主题:从结构生物学到分子系统生物学:揭示癌症和神经变性中激酶活性调节机制的实验和计算方法:细胞间通信电路:合成逻辑门的定量分析
机译:混合线性逻辑中的证明搜索和证明网
机译:授权逻辑中的证明搜索