Risultati della ricerca
Abbiamo trovato 1 libri cercando Aspinall David.
UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)
di Aspinall David, Lüth CristophMomentaneamente non ordinabile Aggiungi a lista dei desideri
Prezzo: € 12,00
Editore: Aracne
ISBN: 9788879995474
Collana:
Anno Edizione: 2003
