Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

• Authors:

• Michael Kohlhase

• Affiliations:

• -

• Venue:
• Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
• Year:
• 2006