Skip navigation
The Australian National University

Machine checking proof theory: An application of logic to logic

Citation

Gore, R 2009, 'Machine checking proof theory: An application of logic to logic', Indian Conference on Logic and Its Applications (ICLA 2009), ed. R. Ramanujam, S. Sarukkai, Springer, Berlin, Germany, pp. 23-35.

Year

2009

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  25 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers