Automated Reasoning
Didier Galmiche, Stephan Schulz, Roberto Sebastiani
Automated Reasoning - 1st ed. 2018 - Springer International Publishing 2018 - 10900 - Lecture Notes in Computer Science .
978-3-319-94205-6
1611-3349
Automated Reasoning - 1st ed. 2018 - Springer International Publishing 2018 - 10900 - Lecture Notes in Computer Science .
978-3-319-94205-6
1611-3349