Rajeev Goré

1 published title

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings

(Contributor)

1 edition