1. 

   WinPooh В.М.

   • Команда форума

   Member Since:

   13.02.2006

   Message Count:

   9.492

   Likes Received:

   3.124

   Репутация:

   95

   Location:

   Москва

   Оффлайн

   На сайте движка Mizar обнаружил интересную подборку статей:
   
   http://digilander.libero.it/mizarchessengine/papers.htm

   WinPooh, 25 Apr 2006

   #1
2. akupr Новичок

   • Новичок

   Member Since:

   11.02.2006

   Message Count:

   72

   Likes Received:

   0

   Репутация:

   0

   Оффлайн

   Здорово! Спасибо

   akupr, 25 Apr 2006

   #2

Your name or email address:

Do you already have an account?

• No, create an account now.
• Yes, my password is:
• Forgot your password?

Stay logged in