Sign in
Join Literal
Alan Bundy
Automated Deduction - CADE-12
12th International Conference, Nancy, France, June 26-July 1, 1994 ; Proceedings
Automated Deduction - CADE-12
Alan Bundy
Want to read
Sign up to use
Alan Bundy
Alan Bundy
Automated Deduction - CADE-12
12th International Conference, Nancy, France, June 26-July 1, 1994 ; Proceedings
Automated Deduction - CADE-12
12th International Conference, Nancy, France, June 26-July 1, 1994 ; Proceedings
Alan Bundy
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 Automated Deduction - CADE-12