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)
Sponsorisé
FNAC BE
77.49 EUR
Prix mis à jour le: 18-05-2026 03:08:06
Général
Marque
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540439315
MPN
Springer Berlin Heidelberg Illustrations
