Automated Reasoning
Subtitle: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II
Publisher: Springer
Published: 2020
Language: eng
ISBN-13: 9783030510534
Subjects: Artificial intelligence; Computer programming; Computer software, development; Logic, symbolic and mathematical