Professor John Slaney

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

Logic, automated reasoning, artificial intelligence

IT