Filtry
The Rule of Substitution and Hyperintensional Contexts
Philosophy, History and Philosophy of science and technology
- 2018 •
- O
Rok uplatnění
O - Ostatní výsledky
The Rule of Explicit Substitution into (Hyper)intensional Contexts
Philosophy, History and Philosophy of science and technology
- 2018 •
- O
Rok uplatnění
O - Ostatní výsledky
Explicit Substitution in Hyperintensional Contexts
Philosophy, History and Philosophy of science and technology
- 2016 •
- O
Rok uplatnění
O - Ostatní výsledky
Derivable Belief and Hyperintensional Algorithmic Semantics
Philosophy, History and Philosophy of science and technology
- 2017 •
- O
Rok uplatnění
O - Ostatní výsledky
The Explication of EXPLICATION
AA - Filosofie a náboženství
- 2015 •
- O
Rok uplatnění
O - Ostatní výsledky
Logic as Universal Language and Quantification over Orders and Types within Type Theory
AA - Filosofie a náboženství
- 2015 •
- O
Rok uplatnění
O - Ostatní výsledky
Explicit, Implicit and Derivable Belief in Hyperintensional Algorithmic Semantics
Philosophy, History and Philosophy of science and technology
- 2016 •
- O
Rok uplatnění
O - Ostatní výsledky
Procedural Semantics for Hyperintensional Logic
AA - Filosofie a náboženství
- 2010 •
- B
Rok uplatnění
B - Odborná kniha
Hyperintensional Reasoning Based on Natural Language Knowledge Base
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Qualifying quantifying-in
IN - Informatika
- 2015 •
- C •
- Odkaz
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
- 1 - 10 z 194