UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)

Riferimento: 9788879995474

Editore:
Autore: Cristoph Lüth, David Aspinall
Pagine: 192 p., Libro in brossura
EAN: 9788879995474
12,00 €
Quantità
Non disponibile