'Tevens verschenen als proefschrift LFCS Edinburgh' хайлтад зориулсан 1-н үр дүнгүүд 1 - 1-г харуулж байна, асуулгын хугацаа: 0.01s Үр дүнг сайжруулах
  1. 1
    Extensional constructs in intensional type theory
    -н Hofmann M.
    Хэвлэсэн 1997
    “…Tevens verschenen als proefschrift LFCS Edinburgh…”
    Ном
Хайх хэрэгслүүд: RSS хариу авах – Энэ хайлтыг цахим шуудангаар илгээх