logo
Automated Deduction

会议结果 (3)

International Conference on Automated Deduction (CADE)

Rank: AOffline
Stuttgart, Germany
Jul 28, 2025 - Aug 2, 2025
Automated DeductionLogical FoundationsTheory and Principles+2 更多

Conference on Intelligent Computer Mathematics (CICM)

Rank: COffline
Brasilia, Brazil
Oct 6, 2025 - Oct 11, 2025
Digital and computational solutions for mathematical informationautomated deductioncomputer algebra+2 更多

IEEE Symposium on Logic in Computer Science (LICS)

Rank: A*Offline
Singapore
Jun 23, 2025 - Jun 26, 2025
automata theoryautomated deductioncategorical models and logics+35 更多