仕訳帳情報

Journal of Symbolic Logic (JSL)

ジャーナルのウェブサイトを表示するにはログインしてください

出版社:
Association for Symbolic Logic
ISSN:
0022-4812
閲覧:
21082
追跡:
2

論文募集

Journal of Symbolic Logic (JSL) is an academic journal published by Association for Symbolic Logic. (ISSN 0022-4812, CCF C).

The Journal of Symbolic Logic publishes research in mathematical logic and its applications of the highest quality. Submissions are expected to exhibit innovation and not merely be minor variations on established work. They should also be of interest to a broad audience. The Journal publishes only original papers that have not been published previously, and are not submitted for publication elsewhere. Full versions of important papers that have previously been published in conference proceedings are eligible for publication, provided that the submitted paper extends the pre-publication in a significant way. In such cases, when authors submit a paper for publication in the JSL they are required to provide a precise reference to the pre-publication and to explain how the submission differs from the conference version.
最終更新 Dou Sun

関連仕訳帳

CCF完全な名前インパクト ・ ファクター出版社ISSN
Journal of Logic, Language and Information0.700Springer0925-8531
Archive for Mathematical Logic0.400Springer0933-5846
bJournal of Symbolic Computation1.1Elsevier0747-7171
International Journal of Fuzzy Logic and Intelligent SystemsKorean Institute of Intelligent Systems1598-2645
cHigher-Order and Symbolic ComputationSpringer1388-3690
Journal of the Association of Information Systems7.0Association for Information Systems1536-9323
cKnowledge-Based Systems7.2Elsevier0950-7051
cFuture Generation Computer Systems6.1Elsevier0167-739X
cNeurocomputing6.5Elsevier0925-2312
cPattern Recognition Letters3.9Elsevier0167-8655

関連会議

CCFCOREQUALIS省略名完全な名前提出日通知日会議日
cSYNASCInternational Symposium on Symbolic and Numeric Algorithms for Scientific Computing2021-08-312021-09-302021-12-07
EXPLAINSInternational Conference on Explainable AI for Neural and Symbolic Methods2026-05-192026-07-172026-10-28
a*ISSACInternational Symposium on Symbolic and Algebraic Computation2026-01-302026-05-012026-07-13
cba2ICCInternational Conference on Communications2025-10-132026-01-122026-05-24
caa2IJCNNInternational Joint Conference on Neural Networks2025-01-152025-03-312025-06-30
caTrustComInternational Conference on Trust, Security and Privacy in Computing and Communications2025-08-012025-10-012025-11-14
cab1ICONIPInternational Conference on Neural Information Processing2026-05-102026-07-152026-11-23
cbHPCCInternational Conference on High Performance Computing and Communications2025-04-302025-06-152025-08-13
caa1GECCOGenetic and Evolutionary Computation Conference2025-01-222025-03-192025-07-14
cba1GlobecomIEEE Global Communications Conference2026-04-012026-08-012026-12-07