网微信二维码

扫微信,关注编辑QQ!

认证信息

广告

大横幅

ACM Transactions on Computational Logic《美国计算机协会计算逻辑会报》 ()

简介
  • 期刊简称ACM T COMPUT LOG
  • 参考译名《美国计算机协会计算逻辑会报》
  • 核心类别
  • IF影响因子
  • 自引率
  • 主要研究方向计算机科学-COMPUTER SCIENCE, THEORY & METHODS计算机:理论方法;LOGIC逻辑学。人工智能、计算复杂性、数据库系统、编程语言(程序逻辑、编程语言语义学、函数式编程、并发计算理论)、形式化方法与验证。展开更多

主要研究方向:

等待设置主要研究方向
计算机科学-COMPUTER SCIENCE, THEORY & METHODS计算机:理论方法;LOGIC逻辑学。人工智能、计算复杂性、数据库系统、编程语言(程序逻辑、编程语言语义学、函数式编程、并发计算理论)、形式化方法与验证。

ACM Transactions on Computational Logic《美国计算机协会计算逻辑会报》(季刊). ACM Transactions on Computational Logic (TOCL) is devoted to research concerned ...[显示全部]
认证信息

广告

期刊页面中间图片广告
征稿信息

投稿问答最小化关闭

Baidu
map