Filtry
Hyperintensions and procedural isomorphism: Alternative (1/2;)
AA - Filosofie a náboženství
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
A hyperintensional theory of intelligent question answering in TIL
Computer and information sciences
- 2021 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Hyperintensions and procedural isomorphism: Alternative (?)
IN - Informatika
- 2010 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Deduction in TIL: From simple to ramified hierarchy of types
BA - Obecná matematika
- 2013 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Transparent quantification into hyperintensional contexts
AA - Filosofie a náboženství
- 2011 •
- D
Rok uplatnění
D - Stať ve sborníku
Extensional logic of hyperintensions
IN - Informatika
- 2012 •
- C •
- Odkaz
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
Extensional logic of hyperintensions
IN - Informatika
- 2012 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Transparent Quantification into Hyperintensional objectual attitudes
IN - Informatika
- 2014 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Exekuce vs. konstrukce
V Transparentní intenzionální logice slouží tzv. konstrukce jako hyperintenze-procedury. Na základě inspirace druhy konstrukcí, jimiž jsou jednoduchá a dvojitá exekuce, definuji exekuce v zcela novém smyslu. Ty poté srovnávám s druhy konstrukcí, přič...
AA - Filosofie a náboženství
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 9 z 9