Sign in
Join Literal
5th Conference on Automated Deduction
Wolfgang Bibel
Want to read
Sign up to use
Wolfgang Bibel
5th Conference on Automated Deduction
Les Arcs, France, July 8-11, 1980
Wolfgang Bibel,
R. Kowalski
Want to read
Sign up to use
Want to read
Sign up to use
Overview
Reviews
Highlights
Editions
Deep cut – we couldn't find a description for this book.
Discover more books like 5th Conference on Automated Deduction