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