January 2008 Archives by thread

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

Starting: Wed Jan 2 12:14:02 CET 2008
Ending: Wed Jan 30 01:20:27 CET 2008
Messages: 3

• [Om] OpenMath on Wikipedia   Christoph Lange
• [Om] CFP: UITP'08 - User Interfaces for Theorem Provers   Christoph Benzmueller
• [Om] CFP - Programming Languages and Mechanized Mathematics Systems 2008   Jacques Carette

Last message date: Wed Jan 30 01:20:27 CET 2008
Archived on: Wed Jan 30 09:12:28 CET 2008

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