Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessandro Armando, Peter Baumgartner, Gilles Dowek, editors, Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings. Volume 5195 of Lecture Notes in Computer Science, Springer, 2008.

Conference: cade2008

This author has not been identified. Look up 'Alessandro Armando' in GoogleThis author has not been identified. Look up 'Peter Baumgartner' in GoogleThis author has not been identified. Look up 'Gilles Dowek' in Google

runs on WebDSL