Résultats de la recherche - "Logics and Meanings of Programs."

  • Résultat(s) 1 - 2 résultats de 2
Affiner les résultats
  1. 1

    Treatise on Intuitionistic Type Theory par Granstrm, Johan Georg

    Publié 2011
    Sujets: “…Logics and Meanings of Programs.…”
    Accéder au texte intégral
    Électronique eBook
  2. 2

    Handbook of Philosophical Logic par Gabbay, D.M

    Publié 2007
    Sujets: “…Logics and Meanings of Programs.…”
    Accéder au texte intégral
    Électronique eBook