Publ3 search

Z6_60GI02O0O8IDC0QEJUJ26TJDI4

Error:

Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.

Publikační činnost

Probíhá načítání, čekejte prosím...

Typ záznamu:	stať ve sborníku (D)
Domácí pracoviště:	Ústav pro výzkum a aplikace fuzzy modelování (94410)
Název:	FUZZY PREDICATE LOGIC AND RESOLUTION THEOREM PROVING
Citace	Habiballa, H. FUZZY PREDICATE LOGIC AND RESOLUTION THEOREM PROVING. In: ACTA Mathematica 9. Nitra: Faculty of Natural Sciences, Constantine the Philosopher University, 2006. Faculty of Natural Sciences, Constantine the Philosopher University, 2006. s. 79-85. ISBN 80-8094-036-3.

Podnázev
Rok vydání:	2006
Obor:	Obecná matematika
Počet stran:	6
Strana od:	79
Strana do:	85
Forma vydání:
Kód ISBN:	80-8094-036-3
Kód ISSN:
Název sborníku:	ACTA Mathematica 9
Sborník:
Název nakladatele:	Faculty of Natural Sciences, Constantine the Philosopher University
Místo vydání:	Nitra
Stát vydání:	Sborník vydaný v zahraničí
Název konference:	4 th Mathematical Conference
Místo konání konference:	Nitra
Datum zahájení konference:
Typ akce podle státní příslušnosti účastníků akce:	Evropská akce
Kód UT WoS:
EID:

Klíčová slova anglicky:	automated theorem proving, fuzzy logic
Popis v původním jazyce:	article presents refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule.
Popis v anglickém jazyce:	article presents refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule.

Seznam ohlasů

Ohlas

R01:	RIV/61988987:17610/06:A1000GZM

Complementary Content

${loading}