Mathematical knowledge management. Third international conference, MKM 2004, Białowieża, Poland, September 19--21, 2004. Proceedings.

DOI10.1007/b100478zbMath1053.68003MaRDI QIDQ704809

No author found.

Publication date: 19 January 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100478

Mathematics Subject Classification ID

00B25: Proceedings of conferences of miscellaneous specific interest

68-06: Proceedings, conferences, collections, etc. pertaining to computer science

68T30: Knowledge representation

Related Items

MPTP 0.2: Design, implementation, and initial experiments, Integrating searching and authoring in Mizar, Presenting and Explaining Mizar, A Review of Mathematical Knowledge Management

Uses Software

• Coq
• Mizar