Detail produktu

Produkt mají v nabídce:

Bookshop
1 322 Kč
Do eshopu

Automated Deduction -- CADE-24

This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013.

Podobné produkty