Automated reasoning first international joint conference, IJCAR 2001, Siena, Italy, June 18 - 22, 2001 ; proceedings (Springer, 2001)
Literaturangaben