Automated Deduction – CADE 30
30th International Conference on Automated Deduction, Stuttgart, Germany, July 28 - August 2, 2025, Proceedings

Book series
30th International Conference on Automated Deduction, Stuttgart, Germany, July 28 - August 2, 2025, Proceedings
Available Renditions
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part I
Available Renditions
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part II
Available Renditions
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part III
Available Renditions
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part IV
Available Renditions
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part V
Available Renditions
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part VI
Available Renditions
21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, Part XXI
Available Renditions
21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, Part XXII
Available Renditions
21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, Part XXIII
Available Renditions