Isbn: 9780387237596 - adapting proofs-as-programs: the curry--howard protocol (16 risultati)

Perfeziona la tua ricerca

  • Libri (16)

a

Fascia di prezzo personalizzata (EUR)

a