Conference on Automated Deduction (5th 1980 Les Arcs, Savoie, France)

Books by Conference on Automated Deduction (5th 1980 Les Arcs, Savoie, France) on BookTides.