谓词逻辑的归结法
Значение и русский перевод
谓词逻辑的归结法 (wèicí luójí de guījié fǎ) — это китайское слово, которое переводится на русский язык как: метод резолюции в предикатной логике.
Порядок написания черт (HanziWriter)
Интерактивная пропись и проверка правильности начертания