TPHOLS 2003. Theorem proving in higher order logics. 16th International Conference (Rome, september 2003)
- Editore:
Aracne
- Data di Pubblicazione:
- 2003
- EAN:
9788879995467
- ISBN:
8879995464
- Pagine:
- 244
- Formato:
- brossura
Acquistabile con la
€ 14.25€ 15.00
Risparmi:€ 0.75(5%)
Disponibile in 9-10 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti