Automatic theorem proving
URI(s)
- http://id.loc.gov/authorities/subjects/sh85010111
- http://id.loc.gov/authorities/sh85010111#concept
Variants
- Automated theorem proving
- Theorem proving, Automated
- Theorem proving, Automatic
Broader Terms
Narrower Terms
Closely Matching Concepts from Other Schemes
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1986-02-11: new
- 1987-10-14: revised
Alternate Formats