| 单词 |
provable sequent |
| 释义 |
provable sequent 可证矢列式 |
| 随便看 |
- Viète, F.
- Viète formula (= Vieta formula)
- Viète substitution
- Viète theorem
- Vlacq, A.
- Vladimirov method
- Vladimirov variational principle
- Vladimirov, V.S.(Владимиров, В.С.)
- Vlasov, A.K.(Власов, А.К.)
- Vlasov kinetic equation
- Vlasov-Maxwell equation
- Vlasov, V.Z.(Власов, В.З.)
- VLSI algorithm
- V-model
- vocabulary
- Voevodskiǐ, V.(Воеводский, В.)
- void
- void class
- void graph
- void lattice
- void set
- Volterra algebra
- Volterra equation
- Volterra functional series
- Volterra integral equation
|