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

2011

ANU Authors

Field of Research

  • Adaptive Agents And Intelligent Robotics

Updated:  15 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers