s University, Kingston, Canada;
York University, North York, Canada;
机译:通过非经典逻辑中的解析来自动证明定理
机译:古典和非古典逻辑中基于连接的定理证明
机译:时间逻辑中的自动定理证明:T—解析
机译:非经典逻辑中的表示定理和定理证明
机译:通过翻译成描述逻辑来自动证明定理。
机译:人骨髓来源的髓样树突状细胞与其外周血对应物相比显示出不成熟的转录和功能谱并与Slan +非经典单核细胞分开
机译:通过非经典逻辑中的分辨率证明的自动定理