Re[2]: [mizar] Mizar-like proof machine

["PbIKOB__B.B." <rykov2000@mail.ru>]

  Surely - Andrzej - but they are not my chair - very remote - Higher Math .. - no WWW addr on the paper ad ...

 I read his ad - every Wednesday at ... - So I'll go there and I'll ask him

  His surname is Ivanov - the simplicissimus case for Russian onomastikon

   This April I read lectures on CL in Grodno - Poland was at hand .. - and then Ling Conf - Poles came - very different culture !



-----Original Message-----
From: Andrzej Trybulec <trybulec@cs.shinshu-u.ac.jp>
To: mizar-forum@mizar.uwb.edu.pl
Date: Tue, 08 Oct 2002 20:07:03 +0900
Subject: Re: [mizar] Mizar-like proof machine

> 
> Volodya,
> 
> could you write a bit more about it? E.g. how many participants, from which countries,
> what kind of software is used?
> 
> Greetings,
> Andrzej
> 
> "PbIKOB__B.B." wrote:
> 
> >   Maybe it will  be interesting to Mizarians - the 1st Olympiad in computer theorem proving will be held here in MIPT (www.mipt.ru) - Math Analysis theorems - limits, continuity etc.
> >
> >        С уважением
> >
> >  P bI K O B  B. B.  MOCKBA
> >
> > Vladimir Rykov, PhD in Computational Linguistics,
> >  MOSCOW
> > http://rykov.narod.ru/
> > Engl. http://www.blkbox.com/~gigawatt/rykov.html
> > Tel +7-903-749-19-99
> 
> 
> 

       С уважением
    
 P bI K O B  B. B.  MOCKBA

Vladimir Rykov, PhD in Computational Linguistics, 
 MOSCOW
http://rykov.narod.ru/
Engl. http://www.blkbox.com/~gigawatt/rykov.html
Tel +7-903-749-19-99

___________________________________________________
@Mail.ru  Национальная почтовая служба
http://www.mail.ru
___________________________________________________