Open AccessProceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Author(s) -
James H. Davenport,
Jacques Fleuriot,
Pedro Quaresma,
Tomás Recio,
Dongming Wang
Publication year - 2019
Publication title -
electronic proceedings in theoretical computer science
Language(s) - English
Resource type - Journals
ISSN - 2075-2180
DOI - 10.4204/eptcs.311.8
Subject(s) - engineering ethics , computer science , management science , engineering management , data science , engineering