UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)

di Cristoph Lüth, David Aspinall | Aracne
A partire da

12,00 €

Attualmente non disponibile

Dettagli

  • Autore:
  • Editore:
  • Collana:
  • Anno edizione:
  • Cristoph Lüth, David Aspinall
  • Aracne
  • -
  • -
  • In commercio dal:
  • Pagine:
  • Lingua:
  • EAN:
  • 192 p.
  • ITA
  • 9788879995474

Ti potrebbe interessare anche

Librerie di Roma | UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)