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