9780387237596 - adapting proofs-as-programs: the curry--howard protocol di poernomo, iman; crossley, john n.; wirsing, martin (18 risultati)

Perfeziona la tua ricerca

  • Libri (18)

a

Fascia di prezzo personalizzata (EUR)

a