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