Libri di Renaud Hardin Therese Rioboo
Bibliografia di Renaud Hardin Therese Rioboo: tutti i libri in vendita online
Su Unilibro trovi i libri di Renaud Hardin Therese Rioboo in vendita online: scopri la bibliografia dell'autore, le ultime uscite e le offerte disponibili.
Consulta la cronologia dei libri di Renaud Hardin Therese Rioboo, scegli il titolo che ti interessa, aggiungilo al carrello e completa l'acquisto in pochi clic.
LIBRO 9788879995450
Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003) Hardin Thérèse Rioboo Renaud - Aracne, 2003
Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003) - Aracne
€ 11.00