No label defined (Q4808703)
From MaRDI portal
scientific article; zbMATH DE number 2090035
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 2090035 |
Statements
12 August 2004
0 references
inductive program synthesis
0 references
folding
0 references
recursive program schemes
0 references
symbolic computation
0 references
machine learning
0 references
term rewriting
0 references