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

Linea di sangue
Linea di sangue
Sheldon Sidney
Fine dell'estate
Fine dell'estate
Steel Danielle
Il Talismano
Il Talismano
Straub Peter, King Stephen
La scuola di porto
La scuola di porto
Giacomo Borella
Mies van der Rohe
Mies van der Rohe
Ludwig Hilberseimer
Il sogno del comando
Il sogno del comando
L'arsenale di Venezia. Una metodologia per la conservazione
L'arsenale di Venezia. Una metodologia p...
M. Ruol, D. Lugato
Principi di psicoterapia psicoanalitica
Principi di psicoterapia psicoanalitica
Luborsky Lester
Ama te stesso. Una guida pratica per capirsi e accettarsi, per vivere in armonia con se stessi e con gli altri, e riempire d'amore la propria vita
Ama te stesso. Una guida pratica per cap...
A. Carbone, Anna Carbone, Louise L. Hay
Gli spettri di Marx. Stato del debito, lavoro del lutto e nuova Internazionale
Gli spettri di Marx. Stato del debito, l...
G. Chiurazzi, Jacques Derrida
Fin che verrà il mattino
Fin che verrà il mattino
Han Suyin
Il mondo di Suzie Wong
Il mondo di Suzie Wong
Mason Richard

I libri più cercati

Categorie