Пошаговая генерация

Вернуться к списку
method ID: stepwisegeneration

Исходящие связи

Связь Целевая сущность Тип Действия
isA NLProofS method Просмотр