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)
77.49 EUR
Partager: ![]()
![]()
![]()
![]()
![]()
![]()
FNAC BE Produits connexes
L'Archipel d'une autre vie
1.99 EUR
L'archipel d'une autre vie
2.69 EUR
Le concert posthume de Jimi Hendrix
3.67 EUR
Le pingouin Poche
3.19 EUR
