[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] IJCAR 2004 Call for Tutorial Proposals (fwd)

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] IJCAR 2004 Call for Tutorial Proposals (fwd)
From: Freek Wiedijk <freek@cs.kun.nl>
Date: Wed, 15 Oct 2003 12:33:59 +0200 (MEST)

Czeslaw forwarded:

>CALL FOR TUTORIAL PROPOSALS

So is it a good idea to organise a Mizar tutorial?

Freek

Follow-Ups:
- [mizar] Schemes, help!
  - From: Freek Wiedijk <freek@cs.kun.nl>

References:
- [mizar] IJCAR 2004 Call for Tutorial Proposals (fwd)
  - From: Czeslaw Bylinski <bylinski@math.uwb.edu.pl>

Prev by Date: [mizar] IJCAR 2004 Call for Tutorial Proposals (fwd)
Next by Date: [mizar] Schemes, help!
Index(es):
- Chronological
- Thread