最新消息
151-180条,共5,107条数据.
#日期类型内容
1512026-03-03新增Special IssueADG 2025 (Annals of Mathematics and Artificial Intelligence)
1522026-03-03更新期刊Annals of Mathematics and Artificial Intelligence
1532026-03-03新增用户浩 姚 (成都信息工程大学)
1542026-03-03新增用户Zhang Yunshi (北京邮电大学)
1552026-03-02更新期刊International Journal of Computer Science, Engineering and Information Technology
1562026-03-02更新期刊Advanced Computing: An International Journal
1572026-03-02更新期刊International Journal of Information Sciences and Techniques
1582026-03-02更新期刊International Journal of Network Security & Its Applications
1592026-03-02更新期刊International Journal on Soft Computing
1602026-03-02更新期刊International Journal of Data Mining & Knowledge Management Process
1612026-03-02更新期刊International Journal of Security, Privacy and Trust Management
1622026-03-02更新期刊International journal of Software Engineering & Applications
1632026-03-02新增用户Yan Li (National University of Defense Technology)
1642026-03-02新增用户Xuehong Du (Sun Yat-sen University)
1652026-03-02新增用户Xinyu Sun (Electronic Science and Technology of Xi’an)
1662026-03-02更新期刊International Journal of Computer Networks & Communications
1672026-03-02新增会议Roboi 2026: International Symposium on Embodied intelligence and Humanoid Robots
1682026-03-02更新会议ITP 2026: International Conference on Interactive Theorem Proving
1692026-03-02更新会议CAV 2026: International Conference on Computer Aided Verification
1702026-03-02更新会议ICLP 2026: International Conference on Logic Programming
1712026-03-02更新会议FSCD 2026: International Conference on Formal Structures for Computation and Deduction
1722026-03-02更新会议IJCAR 2026: International Joint Conference on Automated Reasoning
1732026-03-02更新会议ISAAC 2025: International Symposium on Algorithms and Computation
1742026-03-02更新会议ISSAC 2026: International Symposium on Symbolic and Algebraic Computation
1752026-03-02更新会议EC 2026: ACM Conference on Economics and Computation
1762026-03-02更新会议ASP-DAC 2027: Asia and South Pacific Design Automation Conference
1772026-03-02新增用户peng li li peng (贵州中医药大学)
1782026-03-02新增Special IssueCombining Probability and Logic (Journal of Logic and Computation)
1792026-03-02新增Special IssueProof-Theoretic Semantics and Computation (Journal of Logic and Computation)
1802026-03-02更新期刊Journal of Logic and Computation