Normal view
MARC view
Wolff, Burkhart, 1962- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): TPHOLs (16th : 2003 : Rome, Italy) 21698, Theorem proving in higher order logics :, 2003.