Αποτελέσματα αναζήτησης - "Logics and Meanings of Programs."
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
- Logic 2
- Logic design 2
- Logics and Meanings of Programs 2
- Philosophy 2
- Philosophy (General) 2
- Algorithms 1
- Artificial Intelligence (incl. Robotics) 1
- Artificial intelligence 1
- Computer science 1
- Epistemology 1
- Genetic epistemology 1
- History of Philosophy 1
- Linguistics 1
- Logic, Symbolic and mathematical 1
- Mathematical Logic and Formal Languages 1
- Mathematical Logic and Foundations 1
- Philosophy of Language 1
- Philosophy of Science 1
- Science 1
-
1
Treatise on Intuitionistic Type Theory
Έκδοση 2011Θέματα: “…Logics and Meanings of Programs.…”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο -
2
Handbook of Philosophical Logic
Έκδοση 2007Θέματα: “…Logics and Meanings of Programs.…”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο