Reihe Lecture Notes in Artificial Intelligence Automated Deduction – CADE 3030th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, ProceedingsSpringer International PublishingSoftcover202542,79 € Automated Deduction – CADE 3030th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, ProceedingsSpringer International PublishingeBook2025 Advanced Intelligent Computing Technology and Applications21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, Part XXISpringer SingaporeSoftcover202587,73 € Advanced Intelligent Computing Technology and Applications21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, Part XXIISpringer SingaporeSoftcover202587,73 € Advanced Intelligent Computing Technology and Applications21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, Part XXIIISpringer SingaporeSoftcover202587,73 € Advanced Intelligent Computing Technology and Applications21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, Part XXISpringer SingaporeeBook202585,59 € Advanced Intelligent Computing Technology and Applications21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, Part XXIISpringer SingaporeeBook202585,59 € Advanced Intelligent Computing Technology and Applications21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, Part XXIIISpringer SingaporeeBook202585,59 € Advanced Intelligent Computing Technology and Applications21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, Part XXIVSpringer SingaporeSoftcover202587,73 € Advanced Intelligent Computing Technology and Applications21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, Part XXIVSpringer SingaporeeBook202585,59 €5.599 Treffer 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 ...