International Conference ...

International Conference on Automated Deduction St is the author of "Automated Deduction - CADE 12".

Books by International Conference ...

Automated Deducti...
International Confe...
Paperback: $129.00

Automated Deducti...
International Confe...
Paperback: