Automated Reasoning
Subtitle: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
Publisher: Springer
Published: 2024
Language: eng
ISBN-13: 9783031634970