• 充值
  • 会员
  • 职称材料
搜期刊
刊名

文献信息

  • 任意字段
  • 主题词
  • 篇关摘
  • 篇名
  • 关键词
  • 摘要
  • 作者
  • 第一作者
  • 作者单位
  • 刊名
  • 中图分类号
  • 学科分类号
  • DOI
  • 基金
文献检索

英国
投稿预审
Journal of Logic and Computation 中科院3区 JCR:Q4 JCR:Q2 SCIE EI IEEE JST
发文量 2,135
被引量 31,347
影响因子(2025版) 0.483

Logic has found application in virtually all aspects of Information Technology, from software engineering and hardware to programming and artificial intelligence. Indeed, logic, artificial intelligence and theoretical computing are influencing each other to the extent that a new interdisciplinary area of Logic and Computation is emerging.

  • 主办单位： OXFORD UNIV PRESS
  • 出版地区： OXFORD
  • 出版周期： 双月刊
  • 别名： J LOGIC COMPUT;J. Logic Comput.;JOURNAL OF LOGIC AND COMPUTATION;逻辑与计算杂志
  • 国际标准连续出版物号/电子版： ISSN 0955-792X / EISSN 1465-363X
  • 创刊时间： 1990年
热门主题：

时态逻辑命题逻辑微积分学线性逻辑证明理论莫代尔非单调推理计算复杂度类型理论子结构逻辑直觉主义逻辑Lambda演算回答集编程Lukasiewicz逻辑动态认知逻辑知识表示法代数学模态逻辑学语义学一阶逻辑

收录汇总 栏目浏览 期刊详情
收录汇总
出版文献
期刊详情
新发布(2025版)
分析评价
  • 1
  • 2
  • 3
  • 4
目录
封面
2026年5期

2026年5期

客服咨询
投稿相关：023-63416211
撤稿相关：023-63012682
查重相关：023-63506028
重庆维普资讯有限公司 渝B2-20050021-1 渝公网备 50019002500403
违法和不良信息举报中心   举报邮箱：jubao@cqvip.com   互联网算法推荐专项举报：sfjubao@cqvip.com    网络暴力专项举报: bljubao@cqvip.com
网络出版：（署）网出证（渝）字第014号    出版物经营许可证：新出发2018批字第006号