Monadic predicate formulare
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Monadic predicate formulare
Original language description
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.
Czech name
Modanické predikátové formule
Czech description
Článek se zabývá pohodlným určením pravdivostní hodnoty monadické predikátové formule.
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
JD - Use of computers, robotics and its application
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Acta Electronica et Informatica
ISSN
1335-8243
e-ISSN
—
Volume of the periodical
4
Issue of the periodical within the volume
12
Country of publishing house
SK - SLOVAKIA
Number of pages
3
Pages from-to
37
UT code for WoS article
—
EID of the result in the Scopus database
—