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

On/off. Fatti che si spengono e riaccendono con un click
On/off. Fatti che si spengono e riaccend...
D'Avino Fabio, Branca Giuseppe
Anche i prof hanno un cuore. Piccolo catalogo di vita scolastica
Anche i prof hanno un cuore. Piccolo cat...
Anna Antonini
Stella a otto punte
Stella a otto punte
Rudi Armando
Megapoli
Megapoli
Rudi Armando
Jesus
Jesus
Di Campli, Mario
I guardiani del sì
I guardiani del sì
Busalacchi Francesco
Le verità nascoste. Le ombre di Saturno
Le verità nascoste. Le ombre di Saturno
Crivello, Massimo M.
Why senza because
Why senza because
Enrico Dignani
Alle lumache di Aprile
Alle lumache di Aprile
Pacilio Rita
Manfredonia. Storie e personaggi
Manfredonia. Storie e personaggi
Universi Antonio
I tarocchi-The taroc
I tarocchi-The taroc
Patrizia Pantano
Dalla denuncia di Salvemini alla Cocòpolis di oggi
Dalla denuncia di Salvemini alla Cocòpo...
Vittorangelo Orati

I libri più cercati

Categorie