1. Home
  2. Science
  3. Mathematics
  4. 9th Annual Logic Summer School

Science · Mathematics

9th Annual Logic Summer School

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

About 9th Annual Logic Summer School

9th Annual Logic Summer School- Automated Reasoning Group, Research School of Information Sciences and Engineering, Australian National University, Canberra; 4--15 December 2000.

Tags

Publications

Where it sits

Science Mathematics

More in Mathematics

See all →