欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
IEST──星际
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
{|border="1" cellspacing="0" | {|border="1" cellspacing="0" | ||
|- | |- | ||
| − | | EVA VS GOL | + | | EVA VS GOL |
|- | |- | ||
| − | | 第一场 | + | | 第一场 |
|- | |- | ||
| − | | | + | | || Z5 V P11 || [http://www.plu.com.cn/vod/PLUchupin/qitajingpin/20071014/1092.html 在线观看] || [http://re.hinews.cn/flvs/2007-10-13/union_34702_875626.flv 下载解说视频] || rep |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
|- | |- | ||
| − | | | + | | 第二场 |
|- | |- | ||
| − | | | + | | Longinus || Z7 V P3 || [http://www.plu.com.cn/vod/PLUchupin/qitajingpin/20071014/1093.html 在线观看] || [http://re.hinews.cn/flvs/2007-10-13/union_34702_875847.flv 下载解说视频] || rep |
|} | |} | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
{|border="1" cellspacing="0" | {|border="1" cellspacing="0" | ||
|- | |- | ||
| − | | EVA VS GOL | + | | EVA VS GOL |
|- | |- | ||
| − | | 第一场 | + | | 第一场 |
|- | |- | ||
| − | | | + | | || Z5 V P11 || [http://www.plu.com.cn/vod/PLUchupin/qitajingpin/20071014/1092.html 在线观看] || [http://re.hinews.cn/flvs/2007-10-13/union_34702_875626.flv 下载解说视频] || rep |
| − | + | ||
| − | + | ||
| − | + | ||
|- | |- | ||
| − | | | + | | 第二场 |
|- | |- | ||
| − | | | + | | Longinus || Z7 V P3 || [http://www.plu.com.cn/vod/PLUchupin/qitajingpin/20071014/1093.html 在线观看] || [http://re.hinews.cn/flvs/2007-10-13/union_34702_875847.flv 下载解说视频] || rep |
| − | + | ||
| − | + | ||
|} | |} | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
{|border="1" cellspacing="0" | {|border="1" cellspacing="0" | ||
|- | |- | ||
| − | | EVA VS GOL | + | | EVA VS GOL |
|- | |- | ||
| − | | 第一场 | + | | 第一场 |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
|- | |- | ||
| − | | | + | | || Z5 V P11 || [http://www.plu.com.cn/vod/PLUchupin/qitajingpin/20071014/1092.html 在线观看] || [http://re.hinews.cn/flvs/2007-10-13/union_34702_875626.flv 下载解说视频] || rep |
|- | |- | ||
| − | | | + | | 第二场 |
|- | |- | ||
| − | | | + | | Longinus || Z7 V P3 || [http://www.plu.com.cn/vod/PLUchupin/qitajingpin/20071014/1093.html 在线观看] || [http://re.hinews.cn/flvs/2007-10-13/union_34702_875847.flv 下载解说视频] || rep |
|} | |} | ||
2007年10月18日 (四) 20:21的版本
| EVA VS GOL | ||||
| 第一场 | ||||
| Z5 V P11 | 在线观看 | 下载解说视频 | rep | |
| 第二场 | ||||
| Longinus | Z7 V P3 | 在线观看 | 下载解说视频 | rep |
| EVA VS GOL | ||||
| 第一场 | ||||
| Z5 V P11 | 在线观看 | 下载解说视频 | rep | |
| 第二场 | ||||
| Longinus | Z7 V P3 | 在线观看 | 下载解说视频 | rep |
| EVA VS GOL | ||||
| 第一场 | ||||
| Z5 V P11 | 在线观看 | 下载解说视频 | rep | |
| 第二场 | ||||
| Longinus | Z7 V P3 | 在线观看 | 下载解说视频 | rep |
分享您的观点
