Del 9195 - Lecture Notes in Computer Science
Automated Deduction - CADE-25
25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Häftad, Engelska, 2015
739 kr
Skickas inom 10-15 vardagar
Amy P. Felty – författare
Visar alla böcker från författaren Amy P. Felty.
1 produkt
1 produkt