Home > Search Results: keywords:"theorem proving"
Search:
 
Search Tips :: Simple Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 1 records found  Search took 0.00 seconds. 
Automatické dokazování ve fuzzy logikách
 Cintula, Petr ; Navara, M.
Computer algebra allows to perform many operations which were considered difficult, e.g., factorization, integration, symbolic solution of ODEs, etc. Logical operations are not always implemented. E.g., Maple 9 has a package LOGIC which was missing in several preceding versions. Except for packages for fuzzy control, there seems to be no professional software for fuzzy logical tasks. Here we summarize current situation in computer algebra support of testing tautologies in fuzzy logics.
Detailed record

Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English