Author Search Results

1

Automated reasoning : international joint conference, IJCAR 2001, Siena, Italy, June, 2001 ; short papers

Automated reasoning : international joint conference, IJCAR 2001, Siena, Italy, June, 2001 ; short papers / Rajeev Goré ... (eds.)

Participants: IJCAR [ MitwirkendeR ]; Goré, Rajeev [ HerausgeberIn ]; IJCAR 1 2001 Siena [ MitwirkendeR ]
Published: 2001

Other Authors: “...IJCAR 1 2001 Siena...”