Ewen Maclean

Publication Activity (10 Years)

Years Active: 2002-2021
Publications (10 Years): 6

Top Topics

Machine Learning

Computational Framework

Pattern Recognition

Automated Theorem Provers

Top Venues

Formal Aspects Comput.

J. Log. Comput.

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications