No label defined (Q3938537)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1982
0 references
knowledge engineering
0 references
scientific discovery
0 references
computer programs
0 references
problem- oriented knowledge
0 references
AM
0 references
discovering in mathematical research
0 references
heuristic search in space of concepts
0 references
TEIRESIAS
0 references
handling, aquisition and maintenance of a large knowledge base
0 references
understanding reasoning activities
0 references
high performance programs
0 references
meta-knowledge
0 references
design of expert systems
0 references
