Semantic trees : new foundations for automatic theorem-proving (Q56457489)
Jump to navigation
Jump to search
doctoral thesis
Language | Label | Description | Also known as |
---|---|---|---|
English | Semantic trees : new foundations for automatic theorem-proving |
doctoral thesis |
Statements
1 reference
Semantic trees : new foundations for automatic theorem-proving (English)
1 reference
Patrick J. Hayes
1 reference
1973
1 reference