https://vital.lib.tsu.ru/vital/access/manager/Index en-us 5 Экспериментальные исследования влияния логической дихотомии на скорость сколемизации булевых формул с кванторами https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000472831 Thu 21 Sep 2017 13:10:21 KRAT ]]>