机器定理证明 Большой китайско-русский словарь Поделиться: Большой китайско-русский словарь _ mechanical theorem proving
