Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003) di Hardin Thérèse; Rioboo Renaud - Bookdealer | I tuoi librai a domicilio
1.317.387,20€  incassati dalle librerie indipendenti
1.317.387,20€  incassati dalle librerie indipendenti
Cerca un libro o una libreria

Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003)

11,00 €
Esaurito

I librai consigliano anche