Shadowy vision: spanners in the mechanization of mathematics
From MaRDI portal
Publication:1776886
DOI10.1016/j.hm.2004.03.002zbMath1069.01001OpenAlexW2076560087MaRDI QIDQ1776886
Publication date: 12 May 2005
Published in: Historia Mathematica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.hm.2004.03.002
Cites Work