Normal view
MARC view
- Automatic theorem proving
Automatic theorem proving (Тематический термин)
Machine generated authority record.
Work cat.: (RU-ToGU): Automated reasoning, 1984