A machine program for theorem-proving (Q29399031)
Jump to navigation
Jump to search
scientific article (publication date: July 1962)
Language | Label | Description | Also known as |
---|---|---|---|
English | A machine program for theorem-proving |
scientific article (publication date: July 1962) |
Statements
A machine program for theorem-proving (English)
1 reference
1 July 1962
1 reference
5
1 reference
7
1 reference
394-397
1 reference