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
—