Normal view
MARC view
- Automatic theorem proving.
Automatic theorem proving. (Topical Term)
Machine generated authority record.
Work cat.: (BD-SySUS)0: Automated reasoning :, c2012.