欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
IEST──星际
来自开放百科 - 灰狐
（版本间的差异）
| 第49行： | 第49行： | ||
{|border="1" cellspacing="0" | {|border="1" cellspacing="0" | ||
|- | |- | ||
| − | | Fengzi vs Pj | + | | Fengzi vs Pj || 半决赛 |
|- | |- | ||
| 第一场 | | 第一场 | ||
2007年10月18日 (四) 21:05的版本
| 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 | 半决赛 | |||
| 第一场 | ||||
| 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 |
分享您的观点
