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

Volo. Septimus Heap. 2.
Volo. Septimus Heap. 2.
G. Pastorino, M. Zug, Angie Sage
La giustizia dei vincitori. Da Norimberga a Baghdad
La giustizia dei vincitori. Da Norimberg...
Danilo Zolo
Lezione di tango
Lezione di tango
Elsa Osorio, Roberta Bovaia
L'incredibile storia di un cranio
L'incredibile storia di un cranio
Giuseppe Bonaviri
La moda
La moda
R. Sassatelli, Roberta Sassatelli, Maria Luisa Bassi, M. L. Bassi, Yuniya Kawamura
Introduzione a Jung
Introduzione a Jung
Henri F., Ellenberger
Democrazia e vertigine finanziaria. Le avventure del cittadino in una società proprietaria
Democrazia e vertigine finanziaria. Le a...
Alessandro Casiccia
Le storie. Testo greco a fronte [2 volumi]: 1
Le storie. Testo greco a fronte [2 volum...
Erodoto
Familismo legale. Come (non) diventare italiani
Familismo legale. Come (non) diventare i...
Giovanna Zincone
Idealisti all'indice. Croce, Gentile e la condanna del Sant'Uffizio
Idealisti all'indice. Croce, Gentile e l...
Guido Verucci
Vacancier. Per la Scuola media. 1.
Vacancier. Per la Scuola media. 1.
Silvana Carmagnola
Il Piu' bello dei mari vol 2 vol.2
Il Piu' bello dei mari vol 2 vol.2
Irene Rossi, Nico Cappelletti, Da Ros Daniela

I libri più cercati

Categorie