词典 / 通用词汇
Herbrand base
暂无补充释义。
Herbrand universe
Herbrand interpretation
Herbrand theorem
Herbrand base【计】
补充或纠正词条 →