AI at CADE/IJCAR
Urban, J.
URBAN, J. AI at CADE/IJCAR. In: TRAYTEL, D. and R. GILES, eds. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements. Gothenburg, 2017-08-06. Manchester: EasyChair Publications, 2017. p. 33-36. EPiC Series in Computing. vol. 51. ISSN 2398-7340. DOI 10.29007/26gg.