1977-03-01
Checking Landau's 'Grundlagen' in the AUTOMATH system
Publication
Publication
Additional Metadata | |
---|---|
N.G. de Bruijn , W. Peremans (Wouter) | |
Technische Hogeschool Eindhoven | |
van Benthem Jutting, L. S. (1977, March). Checking Landau's 'Grundlagen' in the AUTOMATH system. |