10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings - Couverture souple

 
9780387528854: 10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings

Autres éditions populaires du même titre

9783540528852: 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings

Edition présentée

ISBN 10 :  3540528857 ISBN 13 :  9783540528852
Editeur : Springer Berlin Heidelberg, 2008
Couverture souple