欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：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 || 小组赛 |
|- | |- | ||
| 第一场 | | 第一场 | ||
| 第15行： | 第15行： | ||
{|border="1" cellspacing="0" | {|border="1" cellspacing="0" | ||
|- | |- | ||
| − | | | + | | F91 VS 621 || 小组赛 |
|- | |- | ||
| 第一场 | | 第一场 | ||
|- | |- | ||
| − | | || | + | | || Z V || [ 在线观看] || [ 下载解说视频] || rep |
| + | |} | ||
| + | |||
| + | |||
| + | {|border="1" cellspacing="0" | ||
|- | |- | ||
| − | | | + | | PJ vs 621 || 小组赛 |
|- | |- | ||
| − | | | + | | 第三场 |
| + | |- | ||
| + | | || P V || [ 在线观看] || [ 下载解说视频] || rep | ||
|} | |} | ||
| 第29行： | 第35行： | ||
{|border="1" cellspacing="0" | {|border="1" cellspacing="0" | ||
|- | |- | ||
| − | | | + | | fengzi vs Zk || 8进4 |
|- | |- | ||
| 第一场 | | 第一场 | ||
|- | |- | ||
| − | | || | + | | Tao Cross || Z1 V Z5 || [http://www.wfbrood.com/movie/iest/movie_22338.html 在线观看] || [http://hot1.mofile.com/200710181100/0472660f860cd52093d311a4be7a08fe/g3/ctc/2007/10/16/Y1/PV/Y1PVCV6B 下载解说视频] || rep |
|- | |- | ||
| 第二场 | | 第二场 | ||
|- | |- | ||
| − | | | + | | || Z V Z || [http://www.wfbrood.com/movie/iest/movie_22339.html 在线观看] || [ 下载解说视频] || rep |
| + | |} | ||
| + | |||
| + | |||
| + | {|border="1" cellspacing="0" | ||
| + | |- | ||
| + | | PJ vs 621 || 小组赛 | ||
| + | |- | ||
| + | | 第三场 | ||
| + | |- | ||
| + | | || P V || [ 在线观看] || [ 下载解说视频] || rep | ||
| + | |} | ||
| + | |||
| + | |||
| + | {|border="1" cellspacing="0" | ||
| + | |- | ||
| + | | PJ vs 621 || 小组赛 | ||
| + | |- | ||
| + | | 第三场 | ||
| + | |- | ||
| + | | || P V || [ 在线观看] || [ 下载解说视频] || rep | ||
| + | |} | ||
| + | |||
| + | |||
| + | {|border="1" cellspacing="0" | ||
| + | |- | ||
| + | | PJ vs 621 || 小组赛 | ||
| + | |- | ||
| + | | 第三场 | ||
| + | |- | ||
| + | | || P V || [ 在线观看] || [ 下载解说视频] || rep | ||
|} | |} | ||
2007年10月18日 (四) 20:37的版本
| EVA VS GOL | 小组赛 | |||
| 第一场 | ||||
| Z5 V P11 | 在线观看 | 下载解说视频 | rep | |
| 第二场 | ||||
| Longinus | Z7 V P3 | 在线观看 | 下载解说视频 | rep |
| F91 VS 621 | 小组赛 | |||
| 第一场 | ||||
| Z V | [ 在线观看] | [ 下载解说视频] | rep |
| PJ vs 621 | 小组赛 | |||
| 第三场 | ||||
| P V | [ 在线观看] | [ 下载解说视频] | rep |
| fengzi vs Zk | 8进4 | |||
| 第一场 | ||||
| Tao Cross | Z1 V Z5 | 在线观看 | 下载解说视频 | rep |
| 第二场 | ||||
| Z V Z | 在线观看 | [ 下载解说视频] | rep |
| PJ vs 621 | 小组赛 | |||
| 第三场 | ||||
| P V | [ 在线观看] | [ 下载解说视频] | rep |
| PJ vs 621 | 小组赛 | |||
| 第三场 | ||||
| P V | [ 在线观看] | [ 下载解说视频] | rep |
| PJ vs 621 | 小组赛 | |||
| 第三场 | ||||
| P V | [ 在线观看] | [ 下载解说视频] | rep |
分享您的观点
