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