Automated Reasoning - Couverture souple

 
9783662171196: Automated Reasoning

Autres éditions populaires du même titre

9783540422549: Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

Edition présentée

ISBN 10 :  3540422544 ISBN 13 :  9783540422549
Editeur : Springer, 2008
Couverture souple