Publ3 search

Z6_60GI02O0O8IDC0QEJUJ26TJDI4

> Publ3 search

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...

Record type:	stať ve sborníku (D)
Home Department:	Ústav pro výzkum a aplikace fuzzy modelování (94410)
Title:	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.

Subtitle
Publication year:	2006
Obor:	Obecná matematika
Number of pages:	6
Page from:	79
Page to:	85
Form of publication:
ISBN code:	80-8094-036-3
ISSN code:
Proceedings title:	ACTA Mathematica 9
Proceedings:
Publisher name:	Faculty of Natural Sciences, Constantine the Philosopher University
Place of publishing:	Nitra
Country of Publication:	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ů:	Evropská akce
WoS code:
EID:

Key words in English:	automated theorem proving, fuzzy logic
Annotation in original language:	article presents refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule.
Annotation in english language:	article presents refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule.

References

Reference

R01:	RIV/61988987:17610/06:A1000GZM

Complementary Content

${loading}