Automated Reasoning
Didier Galmiche, Stephan Schulz, Roberto Sebastiani
Automated Reasoning - Springer 2018 - Lecture Notes in Computer Science .
Computer Science
Automated Reasoning - Springer 2018 - Lecture Notes in Computer Science .
Computer Science