Filtry
Qualifying quantifying-in
IN - Informatika
- 2015 •
- C •
- Odkaz
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
The Rule of Existential Generalisation and Explicit Substitution
Philosophy, History and Philosophy of science and technology
- 2022 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Puzzles of Existential Generalisation from Type-theoretic Perspective
Philosophy, History and Philosophy of science and technology
- 2022 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
How to Validly Quantify into Hyperintensional Nonpropositional Attitudes
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2015 •
- D
Rok uplatnění
D - Stať ve sborníku
Towards an Extensional Calculus of Hyperintensions
IN - Informatika
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
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
Quantifying entanglement of a two-qubit system via measurable and invariant moments of its partially transposed density matrix
BH - Optika, masery a lasery
- 2015 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Quantifying the U 5f covalence and degree of localization in U intermetallics
Condensed matter physics (including formerly solid state physics, supercond.)
- 2024 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 z 45 423