Порождающая грамматика исчисления высказываний

Guseinov, Elmar

doi:10.6084/m9.figshare.28855706.v3

Порождающая грамматика исчисления высказываний

preprint

posted on 2025-04-24, 13:52 authored by Elmar GuseinovElmar Guseinov

В статье описана порождающая грамматика исчисления высказываний, представляющая интерес в связи с автоматическим доказательством теорем с помощью машинного обучения.

History

Usage metrics

Keywords

исчисление высказываний порождающая грамматика автоматическое доказательство теорем машинное обучение

Licence

CC BY 4.0

Порождающая грамматика исчисления высказываний

History

Usage metrics

Categories

Keywords

Licence

Exports