Normal view
MARC view
Hurd, Joe (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): TPHOLs (18th : 2005 : Oxford, England) 28031, Theorem proving in higher order logics :, 2005.