Libri di Renaud Hardin Therese Rioboo

Bibliografia di Renaud Hardin Therese Rioboo: tutti i libri in vendita online INFORMATICA E TECNOLOGIA DELL’INFORMAZIONE

Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003) libro
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
 
ACQUISTA