Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
Book title Buchtitel
Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
ISBN
9783319630465
Editor Herausgeber_in
Publisher Herausgeber
Springer Cham
DOI
10.1007/978-3-319-63046-5
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
10395
Access Type
Subject
Date issued
Publication Type
Results 1-1 of 1 (Search time: 0.002 seconds).