
Tag "discussions"

On August 21 Artem Revenko defended his thesis on ‘Automatic Construction of Implicative Theories for Mathematical Domains’ at the Faculty of Computer Science at Dresden University of Technology.
1
2