万维书刊网微信二维码

扫微信,关注编辑QQ!

您的位置:万维书刊网 >>sci/e期刊大全 >>工程技术1>>计算机(理论方法)
您的位置:万维书刊网 >>sci/e期刊大全 >>数学>>逻辑学
您的位置:万维书刊网 >>ei外国期刊 >>计算机科学>>硬件与架构
您的位置:万维书刊网 >>ei外国期刊 >>计算机科学>>软件
您的位置:万维书刊网 >>ei外国期刊 >>计算机科学>>理论计算机科学
您的位置:万维书刊网 >>ei外国期刊 >>文化艺术>>艺术与人文
您的位置:万维书刊网 >>ei外国期刊 >>数学与计算科学>>逻辑学

Journal of Logic and Computation《逻辑与计算杂志》 (Email投稿)

简介
  • 期刊简称J LOGIC COMPUT
  • 参考译名《逻辑与计算杂志》
  • 核心类别 高质量科技期刊(T3-2025), SCIE核心, EI 外国期刊, 目次收录(维普), 知网外文库,外文期刊,
  • IF影响因子
  • 自引率
  • 主要研究方向计算机科学-COMPUTER SCIENCE, THEORY & METHODS计算机:理论方法;LOGIC逻辑学。重点关注以下研究方向:逻辑系统(如经典与非经典逻辑、构造逻辑、范畴逻辑、模态逻辑、类型论、可行数学等);逻辑编程、知识系统与自动推理中的逻辑问题;知识表示中的逻辑议题(如非单调推理、知识与信念系统);程序设计的逻辑与语义学;程序与系统的形式化规约与验证;逻辑在硬件与超大规模集成电路、自然语言处理、并行计算、规划及数据库等领域的应用。展开更多

主要研究方向:

等待设置主要研究方向
计算机科学-COMPUTER SCIENCE, THEORY & METHODS计算机:理论方法;LOGIC逻辑学。重点关注以下研究方向:逻辑系统(如经典与非经典逻辑、构造逻辑、范畴逻辑、模态逻辑、类型论、可行数学等);逻辑编程、知识系统与自动推理中的逻辑问题;知识表示中的逻辑议题(如非单调推理、知识与信念系统);程序设计的逻辑与语义学;程序与系统的形式化规约与验证;逻辑在硬件与超大规模集成电路、自然语言处理、并行计算、规划及数据库等领域的应用。

Journal of Logic and Computation《逻辑与计算杂志》(一年8期). The Journal of Logic and Computation is an online only publication aiming to prom...[显示全部]
征稿信息

万维提示:

1、投稿方式:邮箱投稿。

2、期刊网址:https://academic.oup.com/logcom

3、官网邮箱:jane@janespurr.net

4、期刊刊期:一年出版8期。

20251226日星期五


  • 万维QQ投稿交流群    招募志愿者

    版权所有 Copyright@2009-2015豫ICP备09037080号

     纯自助论文投稿平台    E-mail:eshukan@163.com


投稿问答最小化  关闭