Automated Reasoning
Book title Buchtitel
Automated Reasoning
Publisher Herausgeber
LNCS
Place of publishing Erscheinungsort
10900
Series Schriftenreihe
Lecture Notes in Computer Science