Articles liés à 10th International Conference on Automated Deduction:...

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