| Lecture(講演者): Kazushige Terui (照井一成) | |
| Title(タイトル): Algebraic proof theory for nonclassical logics. | |
| Level: | |
 |
形式(format): QuickTime(日本語) , QuickTime(English) (Version 7 or later) |
| Source: The 10th Asian Logic Conference | |
| Abstract(内容): | |
| Message from the speaker: | |
Keywords: serial=0046, type=
License(ライセンス): No modification and free distribution. (creative commons, Attribution-NoDerivative works 2.1) Details
Attachments (PDF)
Lecture video (講義映像)
If you watch movies by streaming on Windows, please do not stop it by the "x" button. Your network connection might become very slow.Windows上で Streaming で閲覧している場合, 停止するときは, 停止ボタンを必ずおしてください. x で停止しないように. ネットワークの接続速度が極端に遅くなる場合があります.)
To save movies, click the right button. (右クリックでダウンロード保存可能です.)
[111-3]
| Streaming (106M, about 39 min) | Download(row resolution, 106M) | Download(high resolution, 439M) |
|---|
[111-4]
| Streaming (7M, about 2 min) | Download(row resolution, 7M) | Download(high resolution, 31M) |
|---|
References and Links (参考文献およびリンク)
$Id: 2008-09-alc10-terui.html,v 1.2 2008/09/08 01:16:58 takayama Exp $