Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003)
- Editore:
Aracne
- Data di Pubblicazione:
- 2003
- EAN:
9788879995450
- ISBN:
8879995456
- Pagine:
- 148
- Formato:
- brossura
Acquistabile con la
€ 11.00
Disponibile in 9-10 giorni
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoiRecensioni degli utenti
e condividi la tua opinione con gli altri utenti
