Normal view
MARC view
Logik (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): Higher order logic theorem proving and its applications :