On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the modelling of search in theorem proving -- towards a theory of strategy analysis |
scientific article |
Statements
On the modelling of search in theorem proving -- towards a theory of strategy analysis (English)
0 references
22 March 1999
0 references
theorem proving
0 references
contraction
0 references
