Mechanised Computability Theory
Citation
Norrish, M 2011, 'Mechanised Computability Theory', International Conference on Interactive Theorem Proving (ITP 2011), ed. van Eekelen, Springer, Berlin Germany, p. 15.Year
2011ANU Authors
Field of Research
- Adaptive Agents And Intelligent Robotics