A member of the Herbrand base is called atom in automatic theorem proving.
英
美
在自动定理证明中,海尔勃朗基的成员也称为原子。
目录
查词历史
英 汉