欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
IEST──星际
来自开放百科 - 灰狐
（版本间的差异）
| 第109行： | 第109行： | ||
| 第五场 | | 第五场 | ||
|- | |- | ||
| − | | | + | | Longinus || P7 V T3 || [http://www.wfbrood.com/movie/iest/movie_22382.html 在线观看] || [http://hot1.mofile.com/200710181100/37a4577ddac7444e10ba8e4ecde42221/g3/ctc/2007/10/17/QV/6O/QV6ON77E 下载解说视频] || rep |
|} | |} | ||
2007年10月18日 (四) 21:04的版本
| 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 |
| Fengzi vs Pj (1) | 半决赛 | |||
| 第一场 | ||||
| Z V P | 在线观看 | 下载解说视频 | rep | |
| 第二场 | ||||
| Z V P | 在线观看 | 下载解说视频 | rep |
| Fengzi vs leilei | 季军决赛 | |||
| 第一场 | ||||
| Longinus | Z3 V T11 | 在线观看 | 下载解说视频 | rep |
| 第二场 | ||||
| Z11 V T5 | 在线观看 | 下载解说视频 | rep | |
| 第三场 | ||||
| Tao Cross | Z1 V T10 | 在线观看 | 下载解说视频 | rep |
| 第四场 | ||||
| Python | Z12 V T3 | 在线观看 | 下载解说视频 | rep |
| 第五场 | ||||
| Longinus | Z7 V T11 | 在线观看 | 下载解说视频 | rep |
| PJ vs 66 | 决赛 | |||
| 第一场 | ||||
| Longinus | P3 V T7 | 在线观看 | 下载解说视频 | rep |
| 第二场 | ||||
| P V T | 在线观看 | 下载解说视频 | rep | |
| 第三场 | ||||
| P V T | 在线观看 | 下载解说视频 | rep | |
| 第四场 | ||||
| P V T | 在线观看 | 下载解说视频 | rep | |
| 第五场 | ||||
| Longinus | P7 V T3 | 在线观看 | 下载解说视频 | rep |
分享您的观点
