Normal view
MARC view
Taal (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): Selected papers on Automath /, 1994.