Normal view
MARC view
Harrison, J. (John), 1966- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): TPHOLs (13th : 2000 : Portland, Or.) 21197, Theorem proving in higher order logics :, ©2000.