Classical预订ComputerScience
量子锐利Quantum推理
逻辑学MathematicalProblems逻辑
Alternative替代Sciences逻辑
原版中商古典英文
NonmonotonicPerspective单调视角
预售InstitutionalTechnologyExploring
高阶定理InternationalConference
逻辑海外ValuedLogics
程序设计IntensionalProgramming内涵
预售印刷LogicsWorlds
一世纪逻辑MathematicalProblems
修正Classical信念Revision
语义代数句子Sentential
欧洲人工智能IntelligenceArtificial
Protoalgebraic逻辑海外Logics
新兴ApplicationsDatabasesEmerging
预售Security印刷Energy
Resilience弹性BrsBusiness
VariableCountingBounded海外
Description推理MultimediaReasoning
拉赫曼希德英文论文集
语义学SemanticsClassical逻辑
Substructural海外Logics
AutomatedDeductionMultiple逻辑
语义学代数句子Sentential
SpecificationLanguages海外Logics
代数一瞥SubstructuralResiduated
逻辑模态二元Intuitionistic
推理ReasoningKnowledge逻辑
Languages逻辑海外语言
高阶导论PhilosophicalIntroduction
逻辑模态Intuitionistic直觉
AlternativeMathematicsPhilosophyAssessing