1996
Computers: (Ac)counting for Mathematical Proofs
Publication
Publication
Additional Metadata | |
---|---|
Stichting Mathematisch Centrum | |
G.Y. Nieuwland | |
Cohen, A. (1996). Computers: (Ac)counting for Mathematical Proofs. In G. Y. Nieuwland (Ed.), . Stichting Mathematisch Centrum. |