October 2013 Archives by author

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

Starting: Thu Oct 3 13:02:38 CEST 2013
Ending: Thu Oct 3 13:02:38 CEST 2013
Messages: 1

• [Hets-users] 2nd CfP (deadline 31 Oct) Math. in Comp. Sci. Special Issue 'Enabling Domain Experts to use Formalised Reasoning'   Christoph LANGE

Last message date: Thu Oct 3 13:02:38 CEST 2013
Archived on: Sat Nov 23 22:33:00 CET 2013

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