Normal view
MARC view
- Automatic theorem proving
Automatic theorem proving Congresses(Topical Term)
Machine generated authority record
Work cat.: (KE-NaSUL)138537: NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany) 185640, Proof technology and computation, c2006.