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

Riferimento: 9788879995474

Editore: Aracne
Autore: Cristoph Lüth, David Aspinall
In commercio dal: 2003
Pagine: 192 p., Libro in brossura
EAN: 9788879995474

12,00 €