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

$10.00

Category: Tag: