Towards computer aided mathematics

DOI10.1016/J.JAL.2005.10.001MaRDI QIDQ865628zbMATH OpenOpenAlexFDO

Authors Christoph Benzmüller

Publication date 20 February 2007

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2005.10.001

Mathematics Subject Classification ID

Philosophy of mathematics (00A30)

This page was built for publication: Towards computer aided mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q865628)