Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Filtry

1 823 (0,084s)

Výsledek výzkumu

Algebras of Information States

Philosophy, History and Philosophy of science and technology

  • 2017
  • Jimp
  • Odkaz
Výsledek výzkumu

A nonstandard semantic framework for intuitionistic logic

AA - Filosofie a náboženství

  • 2016
  • D
Výsledek výzkumu

A new semantic framework for modal logic

AA - Filosofie a náboženství

  • 2014
  • Jx
Výsledek výzkumu

A Study of Truth Predicates in Matrix Semantics

Pure mathematics

  • 2018
  • Jimp
  • Odkaz
Výsledek výzkumu

Commutative basic algebras and non-associative fuzzy logic

BA - Obecná matematika

  • 2009
  • Jx
Výsledek výzkumu

Inquisitive Heyting Algebras

Philosophy, History and Philosophy of science and technology

  • 2021
  • Jimp
  • Odkaz
Výsledek výzkumu

Global Robot Localization Under Noise Stress Utilizing EA Methods and Semisemantic Classification of a Known Environment

JC - Počítačový hardware a software

  • 2014
  • Jx
  • Odkaz
Výsledek výzkumu

The logic induced by effect algebras

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2020
  • Jimp
  • Odkaz
Výsledek výzkumu

The Composite Algebraic Structure over Capabilities and Actions of a System

IN - Informatika

  • 2009
  • D
Výsledek výzkumu

Algebraic theories

BA - Obecná matematika

  • 2010
  • B
  • 1 - 10 z 1 823