Normal view
MARC view
- Hurd, Joe
Hurd, Joe (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Hurd, Joe., Theorem Proving in Higher Order Logics, 2005