Automatic theorem proving and fuzzy situational search for decisions (Q1407160)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Automatic theorem proving and fuzzy situational search for decisions |
scientific article; zbMATH DE number 1978441
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automatic theorem proving and fuzzy situational search for decisions |
scientific article; zbMATH DE number 1978441 |
Statements
Automatic theorem proving and fuzzy situational search for decisions (English)
0 references
9 September 2003
0 references
automatic theorem proving
0 references
fuzzy logic
0 references
control over organizational systems
0 references
verbal description of data
0 references
quantitative approach to linguistic problems
0 references
membership function
0 references
linguistic recognition of situations
0 references
planning in systems of organizational control
0 references
situational search for decisions
0 references
