Learning algorithms versus automatability of Frege systems (Q6560900)
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: Learning algorithms versus automatability of Frege systems |
scientific article; zbMATH DE number 7870311
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Learning algorithms versus automatability of Frege systems |
scientific article; zbMATH DE number 7870311 |
Statements
Learning algorithms versus automatability of Frege systems (English)
0 references
24 June 2024
0 references
learning algorithms
0 references
automatability
0 references
proof complexity
0 references
