Automated Reasoning
Book title Buchtitel
Automated Reasoning
ISBN
978-3-319-40229-1
Publisher Herausgeber
Springer
DOI
10.1007/978-3-319-40229-1
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
9706