August 2000 Archives by thread

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

Starting: Tue Aug 22 19:55:52 CEST 2000
Ending: Wed Aug 30 17:27:45 CEST 2000
Messages: 2

• [om-a] CFP: IJCAR 2001 - International Joint Conference on Automated Reasoning   IJCAR Publicity Chair
• [om-a] Notes of 13th Workshop   Mike Dewar

Last message date: Wed Aug 30 17:27:45 CEST 2000
Archived on: Thu Oct 20 16:45:04 CEST 2005

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