Lemma discovery for induction. A survey (Q2287904)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Lemma discovery for induction. A survey |
scientific article |
Statements
Lemma discovery for induction. A survey (English)
0 references
22 January 2020
0 references