9th Annual Logic Summer School

9th Annual Logic Summer School
All Links

Share this:

Details of 9th Annual Logic Summer School

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.
Publications