9783319948201 - interactive theorem proving: 9th international conference, itp 2018, held as part of the federated logic conference, floc 2018, oxford, uk, july 9-12, 2018, proceedings: 10895 (15 risultati)

Perfeziona la tua ricerca

  • Libri (15)

a

Fascia di prezzo personalizzata (EUR)

a