No TPTP formula. May not be expressible in strict first order. | engineering.kif 188-188 | 子類 常微分方程 and 微分方程 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 194-194 | 子類 貝塞爾斯方程 and 常微分方程 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 199-199 | 子類 范德波爾斯方程 and 常微分方程 |
![]() |