- 双语例句 更多例句
1、
2、
MAX（1）和MARG（1）是极小不可满足公式的两个子类，这两个子类中的公式可以用树表示。
互联网摘选
3、
对于极小不可满足公式的子类MAX和MARG，我们证明了：其变元改名和文字改名的复杂性等价于图同构问题GI。
互联网摘选
4、
Only the class that defines a signal and its subclasses can emit the signal.
只有定义了信号的类及其子类能够激发信号.
互联网摘选
- 今日热词
- 热门搜索
- metre n.米，公尺;格律，韵律;
- departure n.离开，离去;起程;背离;东西距离;
- How are you doing 你好吗;你过得如何;你过得好吗;
- property n.财产;房地产;特性;属性;
- missile n.导弹;投射物;
- topic n.话题;
- fortnight n.两星期，十四天;
- camel n.骆驼;
- sideways adv.斜着，斜向一边;以侧面对着;
- tnf abbr.theater nuclear forces 战区核力量;战区核武器;transfer on no overflow 无溢出转移;tumor necrosis factor 肿瘤坏死因子;
- willingness n.愿意;乐意;
- off prep. 从…落下;离开;从…去掉;下班;adv. 离开;距，离;被取消;下班;
