Congreso: International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements: ARCADE (2th ; 2019 ; Natal, Brazil)

Editorial: Open Publishing Association

 Año de publicación: 2019

Tipo de publicación: Comunicación a Congreso

 DOI: 10.4204/EPTCS.311

ISSN: 2075-2180