AboutSign inJoin
5th Conference on Automated Deduction

5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980

Wolfgang Bibel, R. Kowalski — 1980

Deep cut – we couldn't find a description for this book.

Sign up to use