Complexity in mechanized hypothesis formation (Q1256867)
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: Complexity in mechanized hypothesis formation |
scientific article; zbMATH DE number 3628433
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complexity in mechanized hypothesis formation |
scientific article; zbMATH DE number 3628433 |
Statements
Complexity in mechanized hypothesis formation (English)
0 references
1979
0 references
Artifical Intelligence
0 references
Mechanized Hypotheses Formation
0 references
Non-Classical Logic
0 references
Many-Valued Logic
0 references
Computational Complexity
0 references
Predicate Calculus
0 references
Generalized Quantifiers
0 references
Quantifiers with Statistical Interpretation
0 references
Np- Complete
0 references
Guha
0 references
