sequent calculus

读音:英 [ˈsiːkwənt ˈkælkjələs] 美[ˈsikwənt ˈkælkjələs]

sequent calculus 基本解释

有序微积分

重点词汇

sequent n. 后果, 随之而来的事 a. 连续的, 结果的

calculus n. 结石;微积分学


最新查询单词: unveiling unusualness 大蒜头英文 untruthfulness untrustworthy red dragonfly untrue untrimmed untracked how to deal
更新时间:2026-11-01 12:22:35
sequent calculus是什么意思 sequent calculus怎么读 sequent calculus中文意思 翻译
© 2024 一起词典 1qi.cn 苏ICP备2023043211号