Skip to main navigation
Skip to search
Skip to main content
Discovery - the University of Dundee Research Portal Home
Home
Profiles
Research units
Research Outputs
Projects
Datasets
Theses
Activity
Press/Media
Research Facilities
Prizes
Search by expertise, name or affiliation
Machine-Learning for Industrial-Scale Theorem Proving
Komendantskaya, Ekaterina
(Investigator)
Computing
Overview
Project Details
Status
Not started
View all
View less