5th Conference on Automated Deduction, Les Arcs, France, 1980 - Couverture souple

 
9780387100098: 5th Conference on Automated Deduction, Les Arcs, France, 1980