Home  Catalogue of authors Catalogue of works Full search Add papers Login

Омега-тест: программа проверки системы линейных целочисленных равенств и неравенств на совместность (№2014612945)
Authors
 Климов А.В.
Date of publication
 2014
Type of work
 свидетельство на программу для ЭВМ
Library reference
 Климов А.В. Омега-тест: программа проверки системы линейных целочисленных равенств и неравенств на совместность (№2014612945). №2014612945, priority from 13.12.2013, registered 13.03.2014
To IPPM site    To InfoMES site    Feedback
Copyright © 2012-2024 IPPM RAS. All Rights Reserved.
Updated and substantially revised version of system of 2016.
Design of site: IPPM RAS