- From: Bertram Fronhöfer <Bertram.Fronhoefer@inf.tu-dresden.de>
- Date: Fri, 20 Aug 2010 20:40:58 +0200
- To: nicolosi@dmi.unict.it, Nikolaos.Tzevelekos@comlab.ox.ac.uk, nl-kr@cs.rochester.edu, nordlingnet@uib.no, odintsov@math.nsc.ru, om-announce@openmath.org, onto@aifb.uni-karlsruhe.de, ontolog-forum@ontolog.cim3.net, ontology@buffalo.edu, ontoquery@ruc.dk, ozan@informatik.uni-leipzig.de, paoli@unica.it, patrick.allo@vub.ac.be, Patrick.Blackburn@loria.fr, Paul-Francois.Egre@univ-paris1.fr, pcobrer@alumni.unav.es, penguists@babel.ling.upenn.edu, penka@stanford.edu, peregrin@ff.cuni.cz, peter.greenfield@univ-fcomte.fr, pgochet@ulg.ac.be, philipp.keller@lettres.unige.ch, pjparikh@aol.com, polacik@us.edu.pl, potts@ling.ucsc.edu, pozzato@di.unito.it, procos-request@jiscmail.ac.uk, prog-lang@diku.dk, project@aktors.org, proof-complexity@math.cas.cz, ProofTheory.List@Gmail.com, psh@informatik.uni-tuebingen.de, public-owl-dev@w3.org, public-rif-wg@w3.org, puml-list@cs.york.ac.uk, pvs@csl.sri.com, QWN05577@nifty.ne.jp
Received on Friday, 20 August 2010 18:41:28 UTC