Formal representation issues in an open mathematical knowledge base. (Extended abstract)

zbMATH Open0982.68132MaRDI QIDQ2767925

Michael Kohlhase

Publication date: 14 February 2002

Full work available at URL: http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/Proceedings/

zbMATH Keywords

mathematical knowledge bases

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (1)

Title not available (Why is that?)

This page was built for publication: Formal representation issues in an open mathematical knowledge base. (Extended abstract)

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