Suchergebnisse für "Christoph Benzmüller/Marijn J H Heule/Renate A Schmidt"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Christoph Benzmüller/Marijn J H Heule/Renate A Schmidt" gefunden.
Katalogsuche
Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6,2024, Proceedings, Part I, Lecture Notes in Computer Science 14739 - Lecture Notes in Artificial Intelligence
Christoph Benzmüller/Marijn J H Heule/Renate A Schmidt
Springer Verlag GmbH
42,79 €
(inklusive MwSt.)
Lieferbar
Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6,2024, Proceedings, Part II, Lecture Notes in Computer Science 14740 - Lecture Notes in Artificial Intelligence
Christoph Benzmüller/Marijn J H Heule/Renate A Schmidt
Springer Verlag GmbH
79,17 €
(inklusive MwSt.)
Lieferbar
