Libreria Fernandez
Carrello: | Liste dei desideri | Vai alla Cassa
Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003)

Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003)

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

Dettagli Libro

  • Titolo: Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003)
  • Autore: Hardin Thérèse, Rioboo Renaud
  • Curatore:
  • Traduttore:
  • Illustratore:
  • Editore: Aracne
  • Collana:
  • Data di Pubblicazione: 2003
  • Pagine: 148
  • Formato:
  • ISBN: 9788879995450
  • Informatica - Informatica

Libri che ti potrebbero interessare

La guida della montagna
La guida della montagna
Il mago pasticcione
Il mago pasticcione
Kurt Kemal
Angeli guida. L'Arcangelo Gabriele
Angeli guida. L'Arcangelo Gabriele
N. Spagnol, Elizabeth Clare Prophet
Angeli del cambiamento. L'Arcangelo Uriele
Angeli del cambiamento. L'Arcangelo Urie...
Elizabeth C., Prophet
Angeli della illuminazione. Invocare gli angeli per comunicare con il proprio io superiore
Angeli della illuminazione. Invocare gli...
N. Spagnol, Elizabeth Clare Prophet
Angeli della vittoria. I serafini
Angeli della vittoria. I serafini
N. Spagnol, Elizabeth Clare Prophet
Seduto nell'erba, al buio. Diario di un ragazzo italiano. Estate 1944
Seduto nell'erba, al buio. Diario di un ...
Milani Mino
Le nuvole da latte
Le nuvole da latte
Frescura Loredana
Filastrane. Storie di rane
Filastrane. Storie di rane
Anna Lavatelli
Bibbia ebraica. Agiografi. Testo ebraico a fronte
Bibbia ebraica. Agiografi. Testo ebraico...
L'investigatore John Gattoni. Ediz. illustrata
L'investigatore John Gattoni. Ediz. illu...
Pommaux Yvan
L'Europa difficile. Storia politica dell'integrazione europea 1948-2000
L'Europa difficile. Storia politica dell...
Olivi Bino

I libri più cercati

Categorie