欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Word chart
来自开放百科 - 灰狐
中英文词汇对照表
常用词汇
- a字母打头
- b字母打头
- c字母打头
- d字母打头
- e字母打头
- f字母打头
- g字母打头
- h字母打头
- i字母打头
- j字母打头
- k字母打头
- l字母打头
- m字母打头
- n字母打头
- o字母打头
- p字母打头
- q字母打头
- r字母打头
- s字母打头
- t字母打头
- u字母打头
- v字母打头
- w字母打头
- x字母打头
- y字母打头
- z字母打头
资源链接
分享您的观点