Isabelle Primer for Mathematicians

Bogdan Grechuk

School of Informatics

Research output: Book/Report › Other report

1 Finished

1 results

Filter

Finished
The potential of automated reasoning tools to assist the working mathematician
Bundy, A., Aspinall, D. & Dixon, L.
EPSRC
1/10/10 → 31/12/10
Project: Research