• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Tag "discussions" – News

Graduate of the School of Data Analysis and Artificial Intelligence Defends Thesis at TU Dresden

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.