many-sorted logic

英文 many-sorted logic

中文 多類邏輯

出處資訊與通信術語辭典

相關詞匯

最近瀏覽

▸ many-sorted logic

▸ quantum statistical mechanics

▸ bilinear interpolation

▸ starting autotransformer

▸ Knowledge operation

▸ Mohr theory of failure

▸ Gram-positive bacterium

▸ titano-elpidite

▸ Fish Gall Bladder Poisoning, lchthyootoxism

▸ second working

▸ minor fissure

▸ Yield curve

▸ message identification{=MI}

▸ toggle flipflop

▸ stick movement per g

▸ Baboquivari Pk.

▸ sample survey

▸ facility， test

　