UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003) di Lüth Cristoph; Aspinall David - Bookdealer | I tuoi librai a domicilio
Menu principale

Con ogni acquisto su Bookdealer sostieni una libreria indipendente del territorio.

UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)
Lüth Cristoph , Aspinall David

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

Editore: Aracne

Reparto:

ISBN: 9788879995474

Data di pubblicazione: 30/11/1999

Numero pagine: 192


12,00€
Esaurito

Altro

Prodotti Correlati


Mostra altri

Recensioni dei lettori


5% di sconto sul tuo primo ordine

Registrati gratuitamente e ottieni subito un codice sconto per il tuo primo acquisto.