Вы здесь

Главная

условия

Связанные издания:

Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proc./14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 2017
Инвариантно-групповые решения дифференциальных уравнений с дополнительными условиями
Пример верификации в проекте F@BOOL@, основанном на булевских решателях
Условия конечности и дополняемость нормальных подгрупп в обобщённо разрешимых группах