Automated Deduction – CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings Ebook (yecbook.shop)

$10.00

Category: Ebook Tag: yecbook.shop

Description
Reviews (0)

Automated Deduction – CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings Ebook (yecbook.shop)

Reviews

There are no reviews yet.

Be the first to review “Automated Deduction – CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings Ebook (yecbook.shop)” Cancel reply