A machine program for theorem-proving (Q5621961)
From MaRDI portal
scientific article; zbMATH DE number 3346110
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A machine program for theorem-proving |
scientific article; zbMATH DE number 3346110 |
Statements
A machine program for theorem-proving (English)
0 references
1962
0 references
