词典 / 通用词汇

【计】 前束折取范式

prenex-disjunctive normal form

补充或纠正词条 →