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