Filtry
Subtypes in Fuzzy Type Theory
Pure mathematics
- 2019 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
EQ-algebra-based Fuzzy Type Theory and Its Extensions
BA - Obecná matematika
- 2011 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
A comparison of type theory with set theory
Philosophy, History and Philosophy of science and technology
- 2019 •
- C •
- Odkaz
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
Descriptions in Full Fuzzy Type Theory
BA - Obecná matematika
- 2003 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Remarks to Model Theory in Higher-Order Fuzzy Logic
BA - Obecná matematika
- 2012 •
- D
Rok uplatnění
D - Stať ve sborníku
Composition of Deductions within the Propositions-As-Types Paradigm
Philosophy, History and Philosophy of science and technology
- 2020 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Elements of Model Theory in Higher Order Fuzzy Logic
BA - Obecná matematika
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Katharina Reiss, Problematics of translation
AI - Jazykověda
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Additive Types in Quantitative Type Theory
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2022 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Intermediate Syllogisms in Fuzzy Natural Logic
BA - Obecná matematika
- 2016 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 z 55 897