Descrizione
UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003). UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)
Dettagli Bibliografici
EAN ISBN-13:9788879995474
ISBN-10:8879995472
Titolo:UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)
Autore: Cristoph Lüth , David Aspinall
Editore:Aracne
Data Pubblicazione:2003
Pagine:192
Classificazione:Applicazioni professionali
