Libreria
>
Libri
>
Informatica & tecnologia
>
Applicazioni professionali
>
UITP 2003. User interfaces for theorem provers, international workshop (Rome,...

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

Name: UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)
Brand: Aracne
Price: 12.00 EUR
Author: Lüth Cristoph; Aspinall David
ISBN: 9788879995474

di Cristoph Lüth David Aspinall edito da Aracne, 2003

€ 12.00

Aggiungi
al carrello

Punti Accumulabili: +120

Aggiungi al Pozzo dei Desideri

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

Informazioni bibliografiche del Libro

Titolo del Libro: UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)
Autori : Cristoph Lüth David Aspinall
Editore: Aracne
Data di Pubblicazione: 2003
Pagine: 192
ISBN-10: 8879995472
ISBN-13: 9788879995474

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

Recensioni Scrivi la tua recensione del libro "UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)"

Potrebbero interessarti anche questi prodotti

-5%

Excel 2023: il manuale più completo e aggiornato per imparare Microsoft Excel in meno di 7 giorni

libro di Martin Denis
edizioni Youcanprint collana COMPUTER / Informatica

disponibilità immediata

€ 15.00

€ 14.25