Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
Book title Buchtitel
Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
ISBN
9783319402291
Editor Herausgeber_in
Publisher Herausgeber
Springer Cham
Cham
Cham
DOI
10.1007/978-3-319-40229-1
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
9706
Access Type
Date issued
Publication Type
Results 1-2 of 2 (Search time: 0.002 seconds).