1
- Andrei Voronkov -
3.49 EUR
Andrei Voronkov Automated Deduction - Cade-18: 18th International Conference On Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (lecture Notes In Computer Science, 2392, Band 2392)
momox-shop.fr
Expédition: 1.99 EUR
Brand: Andrei Voronkov
EAN:
9783540439318MPN: m03540439315
Catégorie: Livres et magazines
Brand : Springer, Binding : Taschenbuch, Edition : 2002, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 552, publicationDate : 2010-06-02, publishers : Andrei Voronkov, ISBN : 3540439315
Comparez les prix de:
Andrei Voronkov in Livres et magazines