Filtry
Výsledek výzkumu
Existential Generalization in TIL
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Výsledek výzkumu
Logic for Knowledge Base Representation
IN - Informatika
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
Výsledek výzkumu
Ontology as a logic of intensions
IN - Informatika
- 2011 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Výsledek výzkumu
Deduction system for TIL-2010
IN - Informatika
- 2012 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Výsledek výzkumu
Impossible individuals as necessarily empty individual concepts
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- C •
- Odkaz
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
Výsledek výzkumu
The paradox of inference and the non-triviality of analytic information.
IN - Informatika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 6 z 6