Filtry
Issues of Expression and Axiomatization in Social Education
Education, general; including training, pedagogy, didactics [and education systems]
- 2017 •
- Jost
Rok uplatnění
Jost - Ostatní články v recenzovaných periodicích
Quantification and Realism: Locating Semiosis in the Description of Biological Systems
Linguistics
- 2021 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
On Formalization of Word Order Properties
IN - Informatika
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
How to Classify Varieties of Consequence
Philosophy, History and Philosophy of science and technology
- 2024 •
- C •
- Odkaz
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
Formalization and Responsibility
AA - Filosofie a náboženství
- 2015 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Formalization of UML Profile for Safety Critical Systems
IN - Informatika
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
An Evaluation of Methodologies for Legal Formalization
Law
- 2022 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
System description: Statistical parsing of informalized mizar formulas
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
Formalization of Basic Combinatorics on Words
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Combinatorics on Words Basics
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- Jost •
- Odkaz
Rok uplatnění
Jost - Ostatní články v recenzovaných periodicích
Výsledek na webu
- 1 - 10 z 76