-
-
季刊 - 美国
-
简称 ACM T COMPUT LOG
译名 《美国计算机协会计算逻辑会报》
维普目次
浏览(6) 点评(0) 关注(0)
-
-
双月刊 - 俄罗斯
-
简称 ALGEBR LOG+
译名 《代数与逻辑》
知网目次
浏览(4) 点评(0) 关注(0)
-
-
年10期 - 荷兰
-
简称 ANN PURE APPL LOGIC
译名 《纯逻辑和应用逻辑年鉴》
维普目次,知网目次
浏览(4) 点评(0) 关注(0)
-
-
双月刊 - 美国
-
简称 THEOR PRACT LOG PROG
译名 《逻辑程序理论与实践》
维普目次,知网目次
浏览(5) 点评(0) 关注(0)
-
-
年8期 - 德国
-
简称 ARCH MATH LOGIC
译名 《数理逻辑档案》
维普目次,知网目次
浏览(6) 点评(0) 关注(0)
-
-
年8期 - 英国
-
简称 J LOGIC COMPUT
译名 《逻辑与计算杂志》
维普目次,知网目次
浏览(6) 点评(0) 关注(0)
-
-
季刊 - 美国
-
简称 NOTRE DAME J FORM L
译名 《圣母大学形式逻辑学杂志》
维普目次,知网目次
浏览(5) 点评(0) 关注(0)
-
-
双月刊 - 美国
-
简称 J MULT-VALUED LOG S
译名 《多值逻辑与软计算杂志》
维普目次,知网目次
浏览(21) 点评(0) 关注(0)
-
-
季刊 - 美国
-
简称 B SYMB LOG
译名 《符号逻辑通报》
维普目次,知网目次
浏览(5) 点评(0) 关注(0)
-
-
双月刊 - 美国
-
简称 J LOG ALGEBR METHODS
译名 《编程中的逻辑与代数方法期刊》
知网目次
浏览(5) 点评(0) 关注(0)