ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Book title Buchtitel
ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Publisher Herausgeber
EasyChair EPiC Series in Computing
Place of publishing Erscheinungsort
Volume 51
Results 1-1 of 1 (Search time: 0.001 seconds).