9783642323461 - interactive theorem proving: third international conference, itp 2012, princeton, nj, usa, august 13-15, 2012. proceedings: 7406 (9 risultati)

Perfeziona la tua ricerca

  • Libri (9)

a

Fascia di prezzo personalizzata (EUR)

a