Selected Papers of "International Joint Conference on Automated Reasoning 2006"

2006

Editor: Shankar Natarajan