[om-a] Job Announcement: mixed-initiative proof planning

Erica Melis melis at dfki.de
Thu Jan 23 15:44:59 CET 2003


Skipped content of type multipart/alternative-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://openmath.org/mailman/private/om-announce/attachments/20030123/099dc3a0/attachment.htm
-------------- next part --------------
Skipped content of type multipart/alternative


More information about the Om-announce mailing list