Libri di Renaud Hardin Therese Rioboo
Bibliografia di Renaud Hardin Therese Rioboo: tutti i libri in vendita online editi da Aracne Scienza dei calcolatori
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