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”

Modanické predikátové formule

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F04%3A00000676" target="_blank" >RIV/49777513:23520/04:00000676 - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    Monadic predicate formulare

  • Popis výsledku v původním jazyce

    It may be easily to fix truthfulness value of monadic predicate formulae on the arbitrary cardinality subject domain. Because is often tested the correctness of statements reasoning, their premises and conclusion can be expressed through in this paper described formulae, it is very suitable to occupy with the monadic predicate formulae.

  • Název v anglickém jazyce

    Monadic predicate formulare

  • Popis výsledku anglicky

    It may be easily to fix truthfulness value of monadic predicate formulae on the arbitrary cardinality subject domain. Because is often tested the correctness of statements reasoning, their premises and conclusion can be expressed through in this paper described formulae, it is very suitable to occupy with the monadic predicate formulae.

Klasifikace

  • Druh

    J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

  • CEP obor

    JD - Využití počítačů, robotika a její aplikace

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

  • Návaznosti

    S - Specificky vyzkum na vysokych skolach

Ostatní

  • Rok uplatnění

    2004

  • Kód důvěrnosti údajů

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Údaje specifické pro druh výsledku

  • Název periodika

    Acta Electronica et Informatica

  • ISSN

    1335-8243

  • e-ISSN

  • Svazek periodika

    4

  • Číslo periodika v rámci svazku

    12

  • Stát vydavatele periodika

    SK - Slovenská republika

  • Počet stran výsledku

    3

  • Strana od-do

    37

  • Kód UT WoS článku

  • EID výsledku v databázi Scopus