Pages that link to "Item:Q2351555"

The following pages link to Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13--17, 2015, Proceedings (Q2351555):

Displayed 2 items.

• The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) ‎ (← links)
• Accessing the Mizar Library with a Weakly Strict Mizar Parser (Q2817295) ‎ (← links)