The 4th International Joint Conference on Automated Reasoning
Sydney, Australia, August 10 - 15, 2008
2008.IJCAR.org
Sponsors
