many-sorted predicate calculus
美式发音
英式发音
词典收录
英文单词: | many-sorted predicate calculus |
---|---|
中文翻译: | 多种类谓词演算 |
词汇解析
多种类谓词演算
常见用法
many-sorted predicate calculus 的常见用法:
- to many-sorted predicate calculus
- many-sorted predicate calculus of
- many-sorted predicate calculuss
最新更新单词
aabenraas
Borys
cis-2-aminocyclohexanol
continuity operating
daryn
drying tower
electrically controlled brake
end-off shift
get doing
hydnocarpus kurziis
hydroxynaphthoquinone
paniculigerum
passenger-miles
phase-regulated rectifier
random data processing
rear column
receyte
Rocca
saporine
threaded feature
更新时间:2025-04-21 20:28:22