Michael Norrish
homepage: | http://nicta.com.au/people/norrishm |
search externally: | Google Scholar, Springer, CiteSeer, Microsoft Academic Search, Scirus , DBlife |
Lecture:
tutorial Overview of Automated Reasoning as author at Summer Schools in Logic and Learning, Canberra 2009, 5130 views |