← Назад к работе
Работы, на которые ссылается эта работа
Работ: 55
Работа: Defining algorithmically presented structures in first order logic
Продукты
Для разработчиков
AkademBaseОткрытый API экосистемыРабот: 55
Работа: Defining algorithmically presented structures in first order logic