Extracting Information from Logical Proofs (Q4051642)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extracting Information from Logical Proofs |
scientific article |
Statements
Extracting Information from Logical Proofs (English)
0 references
1974
0 references
extraction of information from global theorem-provers
0 references
