AboutSign inJoin
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 — 1994

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

Sign up to use