Libreria Fernandez
Carrello: | Liste dei desideri | Vai alla Cassa
UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)

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

Prezzo: € 12,00
Aggiungi a lista dei desideri
Momentaneamente non ordinabile

Dettagli Libro

  • Titolo: UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)
  • Autore: Aspinall David, Lüth Cristoph
  • Curatore:
  • Traduttore:
  • Illustratore:
  • Editore: Aracne
  • Collana:
  • Data di Pubblicazione: 2003
  • Pagine: 192
  • Formato:
  • ISBN: 9788879995474
  • Informatica - Informatica

Libri che ti potrebbero interessare

Angeli. Ediz. illustrata
Angeli. Ediz. illustrata
Underhill James
Le fate d'oro
Le fate d'oro
Emma Perodi
I misteri di Firenze
I misteri di Firenze
F. Tempesti, Carlo Collodi
Il vero libro dei sogni
Il vero libro dei sogni
Tilly Trotter. La ragazza della brughiera
Tilly Trotter. La ragazza della brughier...
Natalia Coppini, Catherine Cookson
La casa lungo il fiume
La casa lungo il fiume
Catherine Cookson, Luigi Spagnol, Tania Gargiulo
Al tempo dei tempi... Fiabe e leggende delle città di Sicilia
Al tempo dei tempi... Fiabe e leggende d...
Emma Perodi
Tra fate e nani
Tra fate e nani
Paola Pallottino, Fernando Tempesti
Il re dei cuochi
Il re dei cuochi
La vita nelle sue mani
La vita nelle sue mani
Heinz Gunther Konsalik, G. Cuzzelli
L'anatrella bianca
L'anatrella bianca
Gabriella Brenzini Berson, Ezio Anichini
Topolino pilota postale
Topolino pilota postale
Walt Disney

I libri più cercati

Categorie