No label defined (Q3696552)
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: scientific article; zbMATH DE number 3922017 |
scientific article; zbMATH DE number 3922017
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 3922017 |
Statements
1985
0 references
knowledge acquisition
0 references
cognitive development
0 references
automatic analysis of mathematical proofs
0 references
automatic discovery of heuristic proof strategies
0 references
concept formation
0 references
holistic logic
0 references
0.8165996
0 references
0.81062806
0 references
0 references
0.80766225
0 references
0 references
