Normal view
MARC view
- Automatic theorem proving
Automatic theorem proving (Topical Term)
Machine generated authority record.
Work cat.: (NUST)31880: Kakas C. Antonis 81665, Computational Logic, c2002.