«theorem-proving heuristics»

theorem-proving heuristics в энциклопедиях

Источники

Большой англо-русский и русско-английский словарь

Поделиться

Большой англо-русский и русско-английский словарь

мат. эвристика доказательства теоремы