Broschiertes Buch
29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
1st ed. 2023
3. September 2023
CADE community / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-38498-1
Broschiertes Buch
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
2024
2. Juli 2024
IJCAR Community / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-63500-7
Broschiertes Buch
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
2024
2. Juli 2024
IJCAR Community / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-63497-0
Broschiertes Buch
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
23. Juli 2025
Community CAV 2025 / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-98681-9
Broschiertes Buch
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
23. Juli 2025
Community CAV 2025 / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-98684-0
Broschiertes Buch
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
23. Juli 2025
Community CAV 2025 / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-98667-3
Broschiertes Buch
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
22. Juli 2025
Community CAV 2025 / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-98678-9
Broschiertes Buch
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III
2024
26. Juli 2024
Community CAV 2024 / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-65632-3
Broschiertes Buch
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II
2024
25. Juli 2024
Community CAV 2024 / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-65629-3
Broschiertes Buch
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I
2024
26. Juli 2024
Community CAV 2024 / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-65626-2
Broschiertes Buch
First International Workshop, NSLP 2024, Hersonissos, Crete, Greece, May 27, 2024, Proceedings
2024
15. August 2024
NSLP community / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-65793-1
Broschiertes Buch
26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
2025
13. September 2024
FM Community / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-71176-3
Broschiertes Buch
26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
2025
11. September 2024
FM Community / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-71161-9
Broschiertes Buch
13th Annual Privacy Forum, APF 2025, Frankfurt am Main, Germany, October 22-23, 2025, Proceedings
11. Oktober 2025
APF community / Springer / Springer Nature Switzerland / Springer, Berlin
89580420,978-3-032-07573-4
Broschiertes Buch
Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, Rhodes, Greece, November 1-5, 2025, Selected Papers
11. Oktober 2025
AISola Community / Springer / Springer Nature Switzerland / Springer, Berlin
89558566,978-3-032-07131-6
Ähnlichkeitssuche: Fact®Finder von OMIKRON
