Давыдов, А. В., Институт динамики систем и теории управления СО РАН, г.Иркутск, Россия
-
Том 17, № 4 (2010) - Оригинальные статьи
Об исчислении позитивно-образованных формул для автоматического доказательства теорем
Аннотация PDF (Rus)
ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)
ISSN 2313-5417 (Online)