Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements

Autor:	Jasmin Christian Blanchette, Stephan Schulz, Pascal Fontaine, Uwe Waldmann, Sophie Tourret
Rok vydání:	2019
Předmět:	business.industry Computer science Order (business) Systems engineering Automated reasoning business Automation
Zdroj:	Electronic Proceedings in Theoretical Computer Science. 311:11-17
ISSN:	2075-2180
DOI:	10.4204/eptcs.311.2
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::91c72dcec8592742814aa1cd11537e8a https://doi.org/10.4204/eptcs.311.2 Zobrazit plný text záznamu