UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)
- Editore:
Aracne
- Data di Pubblicazione:
- 2003
- EAN:
9788879995474
- ISBN:
8879995472
- Pagine:
- 192
- Formato:
- brossura
Acquistabile con la
€ 12.00
Disponibile in 9-10 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti