Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I (Lecture Notes in Artificial Intelligence)
詳しい情報
出版社: Springer(2024-07-02)
ペーパーバック: 500 ページ / 15.5 x 2.9 x 23.5 cm
ISBN-10: 3031634977 ISBN-13: 9783031634970