logo
Automated Deduction

컨퍼런스 결과 (3)

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 더 보기

International Conference on Automated Deduction (CADE)

Rank: AOffline
Stuttgart, Germany
Jul 28, 2025 - Aug 2, 2025
Automated DeductionLogical FoundationsTheory and Principles+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 더 보기