Non-clausal Resolution in Fuzzy Predicate Logic with Evaluated Syntax (background and implementation)
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F05%3A00000012" target="_blank" >RIV/61988987:17610/05:00000012 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/61988987:17310/05:00000016
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Non-clausal Resolution in Fuzzy Predicate Logic with Evaluated Syntax (background and implementation)
Popis výsledku v původním jazyce
The presentation deals with the refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule.
Název v anglickém jazyce
Non-clausal Resolution in Fuzzy Predicate Logic with Evaluated Syntax (background and implementation)
Popis výsledku anglicky
The presentation deals with the refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule.
Klasifikace
Druh
A - Audiovizuální tvorba
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2005
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
ISBN
—
Místo vydání
Ostrava
Název nakladatele resp. objednatele
Ostravská Univerzita
Verze
Přednáška
Identifikační číslo nosiče
—