Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 ProceedingsRajeev Gore, Alexander Leitsch631 kr
Del 11143Electronic VotingRobert Krimmer, Melanie Volkamer, Véronique Cortier, Rajeev Goré, Manik Hapsara, Uwe Serdült, David Duenas-CidHäftad550 kr