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

di Renaud Rioboo, Thérèse Hardin | Aracne
A partire da

11,00 €

Attualmente non disponibile

Dettagli

  • Autore:
  • Editore:
  • Collana:
  • Anno edizione:
  • Renaud Rioboo, Thérèse Hardin
  • Aracne
  • -
  • -
  • In commercio dal:
  • Pagine:
  • Lingua:
  • EAN:
  • 148 p.
  • ITA
  • 9788879995450

Ti potrebbe interessare anche

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