词典 / 通用词汇

【计】海尔勃朗全域

Herbrand universe

暂无补充释义。

相关词条

【计】海尔勃朗解释

Herbrand interpretation

【计】海尔勃朗基

Herbrand base

【计】海尔勃朗定理

Herbrand theorem

埃尔布朗基

Herbrand base【计】

补充或纠正词条 →