Towards computer aided mathematics

DOI10.1016/J.JAL.2005.10.001zbMATH Open1107.68473OpenAlexW2027752283MaRDI QIDQ865628FDOQ865628

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)