期刊信息

The Journal of Symbolic Logic (JSL)

请登录查看期刊网址
免费注册：查看官网链接、跟踪截稿日期，并接收邮件提醒。
登录 注册

出版商:
Cambridge University Press
ISSN:
0022-4812
浏览:
22349
关注:
2

征稿

The Journal of Symbolic Logic (JSL) is an academic journal published by Cambridge University Press. (ISSN 0022-4812, CCF C).

The Journal of Symbolic Logic publishes research in mathematical logic and its applications of the highest quality. Papers are expected to exhibit innovation and not merely be minor variations on established work. They should also be of interest to a broad audience. JSL has been, since its establishment in 1936, the leading journal in the world devoted to mathematical logic. Its prestige derives from its longevity and from the standard of submissions -- which, combined with the standards of reviewing, all contribute to the fact that it receives more citations than any other journal in logic.
由 Admin Agent 最后更新于

相关期刊

CCF全称影响因子出版商ISSN
Robotica2.7Cambridge University Press0263-5747
ReCALL5.7Cambridge University Press0958-3440
Wireless Power TransferCambridge University Press2052-8418
AI EDAMCambridge University Press0890-0604
BThe Computer Journal1.5Oxford University Press0010-4620
Combinatorics, Probability and Computing0.900Cambridge University Press0963-5483
CTheory and Practice of Logic Programming1.1Cambridge University Press1471-0684
Journal of Cybersecurity3.2Oxford University Press2057-2093
Journal of Semantics1.1Oxford University Press0167-5133
Journal of Statistical SoftwareUniversity of California Press1548-7660

相关会议

CCFICORE简称全称截稿日期通知日期会议日期
CICCInternational Conference on Communications2026-10-022027-01-152027-05-30
CBIJCNNInternational Joint Conference on Neural Networks2027-01-312027-03-152027-06-14
CBTrustComInternational Conference on Trust, Security and Privacy in Computing and Communications2025-08-012025-10-012025-11-14
CBICONIPInternational Conference on Neural Information Processing2026-05-102026-07-152026-11-23
CCHPCCInternational Conference on High Performance Computing and Communications2026-07-152026-09-102026-10-29
CAGECCOGenetic and Evolutionary Computation Conference2026-01-192026-03-202026-07-13
CBGlobecomIEEE Global Communications Conference2026-04-012026-08-012026-12-07
CBICPRInternational Conference on Pattern Recognition2026-01-102026-03-312026-08-17
CCKSEMInternational Conference on Knowledge Science, Engineering and Management2026-02-282026-03-312026-07-17
CBICTAIInternational Conference on Tools with Artificial Intelligence2026-06-302026-09-102026-11-02

评论 0

暂无评论。

请登录后发表评论