July 2019 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Fri Jul 5 15:32:33 CEST 2019
Ending: Mon Jul 29 05:02:50 CEST 2019
Messages: 8

• [Om] Proposal for Extending OpenMath Standard with a JSON Encoding   James Davenport
• [Om] Proposal for Extending OpenMath Standard with a JSON Encoding   James Davenport
• [Om] Proposal for Extending OpenMath Standard with a JSON Encoding   Michael Kohlhase
• [Om] Proposal for Extending OpenMath Standard with a JSON Encoding   Michael Kohlhase
• [Om] Proposal for Extending OpenMath Standard with a JSON Encoding   Moritz Schubotz
• [Om] Proposal for Extending OpenMath Standard with a JSON Encoding   Tom Wiesing
• [Om] Proposal for Extending OpenMath Standard with a JSON Encoding   Tom Wiesing
• [Om] Invitation 13th CHAOS2020 International Conference in Florence, Italy   Secretariat at cmsim.de

Last message date: Mon Jul 29 05:02:50 CEST 2019
Archived on: Tue Jul 30 15:03:29 CEST 2019

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...