Advertisement

Search Results

Showing results for "Intuitionistic Type Theory"

Intuitionistic Type Theory

Intuitionistic Type Theory

Per Martin-Löf

Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science, 22)

Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science, 22)

Johan Georg Granström

Treatise on Intuitionistic Type Theory

Treatise on Intuitionistic Type Theory

Johan Georg Granstr M

Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science Book 22)

Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science Book 22)

Johan Georg Granström

Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms: Theory and Applications (Studies in Computational Intelligence, 862)

Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms: Theory and Applications (Studies in Computational Intelligence, 862)