Computers: (Ac)counting for Mathematical Proofs

Additional Metadata
Publisher	Stichting Mathematisch Centrum
Editor	G.Y. Nieuwland
ISBN	978-90-6196-462-9
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Cohen, A. (1996). Computers: (Ac)counting for Mathematical Proofs. In G. Y. Nieuwland (Ed.), . Stichting Mathematisch Centrum.

See Also
miscellaneous Images of SMC research 1996 : [published on the occasion of the 50th anniversary of the SMC]
miscellaneous Images of SMC research 1996 : [published on the occasion of the 50th anniversary of the SMC]

Publication