Normal view
MARC view
Melham, T. F. (Tom F.) (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): Higher order logic theorem proving and its applications :