Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Boris Konev, Renate A. Schmidt, Stephan Schulz, editors, Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008. Volume 373 of CEUR Workshop Proceedings, CEUR-WS.org, 2008.

Conference: cade2008

This author has not been identified. Look up 'Boris Konev' in GoogleThis author has not been identified. Look up 'Renate A. Schmidt' in GoogleThis author has not been identified. Look up 'Stephan Schulz' in Google

runs on WebDSL