Monadické 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%2F68407700%3A21230%2F04%3A03106777" target="_blank" >RIV/68407700:21230/04:03106777 - 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 Formulae
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, theirs 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 Formulae
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, theirs 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
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
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 Electrotechnica et Informatica
ISSN
1335-8243
e-ISSN
—
Svazek periodika
4
Číslo periodika v rámci svazku
4
Stát vydavatele periodika
SK - Slovenská republika
Počet stran výsledku
3
Strana od-do
37-39
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—