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

Tempi diversi
Tempi diversi
Francesco Locane
Nobiltà della contea. Palazzi, castelli e ville a Gorizia, in Friuli e in Slovenia: 1
Nobiltà della contea. Palazzi, castelli...
Alberti Renata, Geromet Giorgio
lago di Como. 50 escursioni selezionate sulle coste del Lario
lago di Como. 50 escursioni selezionate ...
Eugen E. Husler
Nobiltà della contea. Palazzi, castelli e ville a Gorizia, in Friuli e in Slovenia: 2
Nobiltà della contea. Palazzi, castelli...
Alberti Renata, Geromet Giorgio
Tra i borghi di Parma
Tra i borghi di Parma
Giovanni Ferraguti
Il perimetro del tempo
Il perimetro del tempo
Alberto Mauchigna, Paola Francescon
Rapiti da un sogno
Rapiti da un sogno
Alessandro Pesaola
Sarah
Sarah
Alessandra Grassi
Narub
Narub
Signorelli Angelo
Basta stress! Training di rilassamento con musica e visualizzazioni. Con CD Audio
Basta stress! Training di rilassamento c...
Maiolo Giuseppe
Ciao, grandi uomini
Ciao, grandi uomini
Ambrogio Ripamonti
Il sogno di Sandro e Sica
Il sogno di Sandro e Sica
Simona Adivincula

I libri più cercati

Categorie