UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)
| Titolo | UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003) |
| Autori | Cristoph Lüth, David Aspinall |
| Argomento | Informatica Applicazioni professionali |
| Editore | Aracne |
| Formato |
Libro: Libro in brossura |
| Lingua | inglese |
| Pagine | 192 |
| Pubblicazione | 01/2003 |
| ISBN | 9788879995474 |