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

Fra le tue braccia e sul mio cuore
Fra le tue braccia e sul mio cuore
Liala
Pillole. Storie in agrodolce di pazienti e di... Pazienze
Pillole. Storie in agrodolce di pazienti...
Michele Libutti
Radici
Radici
Liguoro Alberto
L'anzulon
L'anzulon
Jenny, Liscia Bassani
Diari del primo venuto
Diari del primo venuto
Locati Guido
Ocjo aes paveis! Le strane invasion dal 1476. Testo friulano a fronte
Ocjo aes paveis! Le strane invasion dal ...
Londero Alida
Un giorno dopo l'altro
Un giorno dopo l'altro
Lucarelli Carlo
Guernica
Guernica
Carlo Lucarelli
Lettera morta
Lettera morta
Lunetta Mario
Soltanto insonnia
Soltanto insonnia
Mario Lunetta
La donna dello scorpione
La donna dello scorpione
Anna Lupo Bari
Niente e nessuno
Niente e nessuno
Anna, Lupo Bari

I libri più cercati

Categorie