Andrei Voronkov Automated Deduction | Kaicus Belgique

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)

74.01 EUR

Marque: Springer Berlin Heidelberg
ISBN: 3540439315
MPN: Illustrations
Sponsorisé  Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations
74.01 EUR 74.01 EUR
14-01-2026 05:31:37