Computers : (ac)counting for mathematical proofs

A.M. Cohen

Research output: Contribution to journalArticleAcademicpeer-review

Abstract

No abstract.
Original languageEnglish
Pages (from-to)45-64
JournalNieuw Archief voor Wiskunde
Volume4/14
Issue number1
Publication statusPublished - 1996

Fingerprint Dive into the research topics of 'Computers : (ac)counting for mathematical proofs'. Together they form a unique fingerprint.

Cite this