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