Pages that link to "Item:Q704809"
From MaRDI portal
The following pages link to Mathematical knowledge management. Third international conference, MKM 2004, Białowieża, Poland, September 19--21, 2004. Proceedings. (Q704809):
Displayed 6 items.
- MPTP 0.2: Design, implementation, and initial experiments (Q877826) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Integrating searching and authoring in Mizar (Q2462640) (← links)
- Presenting and Explaining Mizar (Q2867936) (← links)
- A Review of Mathematical Knowledge Management (Q3637281) (← links)