11![](https://www.pdfsearch.io/img/3e9e0b1ea2d2ae1c7b071be9cfe380a7.jpg) | Add to Reading ListSource URL: www.mizar.orgLanguage: English - Date: 2010-03-05 21:10:06
|
---|
12![](https://www.pdfsearch.io/img/3693adede46bee0ab355201194774787.jpg) | Add to Reading ListSource URL: www.mizar.orgLanguage: English - Date: 2010-03-05 21:10:06
|
---|
13![OpenMath Society Business Meeting 2009 Secretary: James H. Davenport [removed] Checkers: David Carlisle, Patrick Ion 8 July 2009 Kohlhase opened the OpenMath Business Meeting. The agenda was agreed. OpenMath Society Business Meeting 2009 Secretary: James H. Davenport [removed] Checkers: David Carlisle, Patrick Ion 8 July 2009 Kohlhase opened the OpenMath Business Meeting. The agenda was agreed.](https://www.pdfsearch.io/img/dd7493650858632473cab8d3e35e4698.jpg) | Add to Reading ListSource URL: www.openmath.orgLanguage: English - Date: 2013-12-16 11:17:58
|
---|
14![Version: Date: 3 June 2004 Version: Date: 3 June 2004](https://www.pdfsearch.io/img/a3b458667743290f7a9677a508e32a4c.jpg) | Add to Reading ListSource URL: www.openmath.orgLanguage: English - Date: 2013-12-16 11:17:57
|
---|
15![Disclaimer 1 This notes were largely derived from JHD’s own notes and integrated by OC with her own handwritten minutes. JHD and OC have tried to capture some quotes, but these have not been checked by the quoted autho Disclaimer 1 This notes were largely derived from JHD’s own notes and integrated by OC with her own handwritten minutes. JHD and OC have tried to capture some quotes, but these have not been checked by the quoted autho](https://www.pdfsearch.io/img/b8003d135cc62fa032bc017f8b40a2ed.jpg) | Add to Reading ListSource URL: www.openmath.orgLanguage: English - Date: 2013-12-16 11:17:58
|
---|
16![Version: Date: 2 September 2003 Version: Date: 2 September 2003](https://www.pdfsearch.io/img/734d3a2ff0b6129c0a69a037990d8c93.jpg) | Add to Reading ListSource URL: www.openmath.orgLanguage: English - Date: 2013-12-16 11:17:57
|
---|
17![MKM 2001 First International Workshop on Mathematical Knowledge Management RISC, A-4232 Schloss Hagenberg, September 24-26, 2001 MKM 2001 First International Workshop on Mathematical Knowledge Management RISC, A-4232 Schloss Hagenberg, September 24-26, 2001](https://www.pdfsearch.io/img/f09a948ed058702cab6b2b4e4964a5b1.jpg) | Add to Reading ListSource URL: www.risc.jku.atLanguage: English - Date: 2001-03-25 13:35:12
|
---|
18![MKM 2001 First International Workshop on Mathematical Knowledge Management RISC, A-4232 Schloss Hagenberg, September 24-26, 2001 MKM 2001 First International Workshop on Mathematical Knowledge Management RISC, A-4232 Schloss Hagenberg, September 24-26, 2001](https://www.pdfsearch.io/img/2eae610a78e59ea0f8abdd8f69158f97.jpg) | Add to Reading ListSource URL: www.risc.jku.atLanguage: English - Date: 2001-03-25 13:36:33
|
---|