Herbrand 埃尔布朗
埃尔布朗○拟定译名
» Jacques Herbrand 雅克·埃尔布朗（1908—1931），法国数学家，提出了将一阶逻辑简化为命题逻辑的埃尔布朗定理（théorème de Herbrand），用于求解可满足性问题的埃尔布朗解释（interprétation de Herbrand）。
Catégories
Herbrand 埃尔布朗
埃尔布朗○拟定译名
» Jacques Herbrand 雅克·埃尔布朗（1908—1931），法国数学家，提出了将一阶逻辑简化为命题逻辑的埃尔布朗定理（théorème de Herbrand），用于求解可满足性问题的埃尔布朗解释（interprétation de Herbrand）。