Normal view
MARC view
- Automatische bewijsvoering
Automatische bewijsvoering (Topical Term)
Machine generated authority record.
Work cat.: (JGU)2871393: MacKenzie, Donald A. 202046, Mechanizing proof :, ©2001.