A milestone reached and a secret revealed (Q5951524)
From MaRDI portal
scientific article; zbMATH DE number 1686110
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A milestone reached and a secret revealed |
scientific article; zbMATH DE number 1686110 |
Statements
A milestone reached and a secret revealed (English)
0 references
7 January 2002
0 references
elegant proofs
0 references
proof finding
0 references
automated theorem proving
0 references
formal logic
0 references
automated reasoning
0 references
