Mathematical knowledge management. Third international conference, MKM 2004, Białowieża, Poland, September 19--21, 2004. Proceedings.
From MaRDI portal
Publication:704809
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
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, The role of the Mizar mathematical library for interactive proof development in Mizar, Semantics of Mizar as an Isabelle object logic, Integrating searching and authoring in Mizar, Presenting and Explaining Mizar, A Review of Mathematical Knowledge Management
Uses Software