Prezzo: € 12,00
Prodotto al momento non disponibile.
Titolo: UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)
Autore:
Aspinall David,
Lüth Cristoph
Editore: Aracne
Data di Pubblicazione: 2003
Pagine: 192
Formato:
ISBN: 9788879995474