👤

International Conference on Automated Deduction (12th 1994 Nancy, France)

1 book

Books by International Conference on Automated Deduction (12th 1994 Nancy, France)

Automated deduction, CADE-12
Automated deduction, CADE-12
1994