• 学术搜索
  • 科研智能体
    • Research Labs
    • AI 阅读
    • AI 文库
    • 深度研究
    • 学者亮点
  • 学术资源
    • AI2000
    • 期刊/会议
    • 学者库
    • 学术API
      MCP&Skill
    • 溯源树
    • 数据集
  • 知识沉淀
    • 学术空间
订阅小程序
旧版功能
aminer vip
开通会员低至0.73元/天
一次搞定AI科研
立即登录
  • English
  • 联系方式
    arXiv: Logic in Computer Science

    arXiv: Logic in Computer Science

    Journal

    年发文量

    研究主题

    论文(1592)

    排序
    暂无数据
    暂无数据

    高被引作者

    作者引用发文
    Boris Motik5661
    Ian Horrocks5661
    Moshe Y. Vardi4889
    Michael Zakharyaschev4513
    Roman Kontchakov4442
    Diego Calvanese4051
    Alessandro Artale4051
    Lars Birkedal3626
    Sylvain Schmitz3537
    Thomas A. Henzinger3153

    高产作者

    作者引用发文
    Rob Van Glabbeek22613
    André Platzer29712
    Mariangiola Dezani-Ciancaglini8812
    Alejandro Diaz-Caro8811
    J.A. (Jan) Bergstra14911
    Kees Middelburg12610
    Federico Aschieri409
    Moshe Y. Vardi4889
    Angelo Montanari869
    Martin Lange629

    相关期刊

    Conference on Automated Deduction
    Italian Conference on Computational Logic
    Foundations of Software Science and Computation Structure
    Logic Programming and Automated Reasoning
    Journées Européennes sur la Logique en Intelligence Artificielle
    Logical Foundations of Computer Science
    Logic Programming and Non-Monotonic Reasoning
    Logical and Semantic Frameworks with Applications
    Reliability, Safety, and Security of Railway Systems
    ACM Transactions on Computational Logic