Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science, Band 12167)
Dieses Produkt wurde kürzlich in keinem gesponserten Geschäft gefunden, bitte prüfen Sie ähnliche Produkte unserer Sponsoren oder sehen Sie sich andere von uns angebotene Geschäfte an, in denen Sie das Produkt finden können.