请输入您要查询的字词:
单词
tableau method
释义
tableau method
Encyclopedia
理学
一阶推理
释
tableau method
表推演方法
通过分析公式的结构来寻找矛盾从而证明公式不可满足性的推理方法。表推演方法根据输入公式构造一棵节点标有公式的树,如果树的每个分支上都有互相矛盾的公式,则表明输入公式是不可满足的。
随便看
lacquer paintings on Guyuan coffin
Lacquer Plate with Qianlong Mark
lacquer putty
lacquer sarira casket with chrysanthemum in gold and other patterns
Lacquer Screens from the Tomb of Sima Jinlong
lacquer sore
Lacquer Table Painted with a Banquet Scene from the Tomb of Zhu Ran
lacquer tree
lacquerware
Lacquerware Plate Carved with Double Peony by Yongle Mark
Lacquerwares of Three Kingdoms, Two Jin and Southern and Northern Dynasties
Lacquer Zhi Wine Vessel With Gilt Ineised Pattern from a Han Dynasty Tomb Guanghua
Lacquer Zhi Wine Vessel With Gilt Ineised Pattern Unearthed from Han Dynasty Tomb at Guanghua
lacrimal apparatus
lacrimal duct
lacrimal duct diseases
lacrimal gland
lacrimal papilla
lacrimal punctum
lacrimal sac
Lacroix
Lacroix, Alfred
lacrosse
Lacrosse satellite
lactalbumin
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2024/7/2 23:45:10