Log in | Register | English language  
New User
Register
Sign in
  • Home
  • Browse Lectures
  • People
  • Conferences
  • Academic Organisations
  • EU Supported
  • Blog
  • About Us
Michael Norrish
homepage:http://nicta.com.au/people/norrishm
search externally:   Google Scholar,   Springer,   CiteSeer,   Microsoft Academic Search,   Scirus ,   DBlife


Lecture:

[syn]  5125 views, 1:26:37  
tutorial
flag Overview of Automated Reasoning
as author at  Summer Schools in Logic and Learning, Canberra 2009,
5125 views