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

Noialtri
Noialtri
L. Salmon, Sergej Dovlatov
La vita felice. Con un saggio di Denis Diderot
La vita felice. Con un saggio di Denis D...
Lucio Anneo Seneca
A est di Hamilton Road. Viaggio nel Kurdistan turco
A est di Hamilton Road. Viaggio nel Kurd...
Gandolfi Alessandro, Maugeri Massimo
Il giorno più bello per incontrarti
Il giorno più bello per incontrarti
Fabrizio Falconi
Mat mat. Per la 1ª classe elementare
Mat mat. Per la 1ª classe elementare
Girotti Germana
X-MEN
X-MEN
Kristine K. Rusch, Dean W. Smith
Contrari
Contrari
Ilva Tron, Sue Hendra
Buon Natale Pina
Buon Natale Pina
Ilva Tron, Lucy Cousins
L' aiutante del diavolo
L' aiutante del diavolo
Anthony Horowitz
Favole del giorno e della notte. Racconti fantastici
Favole del giorno e della notte. Raccont...
Oriana Palusci, George MacDonald, Anna Strambo
Dylan Dog. Apocalisse
Dylan Dog. Apocalisse
Tiziano Sclavi
Le radici del futuro. La sfida tra Lexus e l'ulivo: che cos'è la globalizzazione e quanto conta la tradizione
Le radici del futuro. La sfida tra Lexus...
Friedman, Thomas L.

I libri più cercati

Categorie