Professor John Slaney

Logic and Computation Group
Research School of Computer Science
ANU College of Engineering & Computer Science

Logic, automated reasoning, artificial intelligence

IT