Normal view
MARC view
Logique d'ordre supérieur (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): TPHOLs (18th : 2005 : Oxford, England) 28031, Theorem proving in higher order logics :, 2005.