Rezultaty - "Type theory."

  • Rezultaty 1 - 3 Rezultaty od 3
Redukuj rezultaty
  1. 1

    The theory of logical types od Copi, Irving M.

    Wydane 1971
    Książka


    Okładka
  2. 2

    Type theory and formal proof an introduction od Nederpelt, Rob, Geuvers, Herman

    Wydane 2014
    Książka


    Okładka
  3. 3

    Treatise on intuitionistic type theory od Granström, Johan Georg

    Wydane 2011
    Available for UP System via Springer Link.
    Electronic Resource


    Okładka

Narzędzie wyszukiwania: