Deductive tools of an algebraic programming system
Yu. V. KapitonovaCybernetics Institute, National Academy of Sciences of Ukraine, Kiev, UkraineA. A. LetichevskiĭCybernetics Institute, National Academy of Sciences of Ukraine, Kiev, UkraineV. A. VolkovCybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine
2000en
ABI
Аннотация
Аннотация отсутствует.
Идентификаторы
Цитирования и источники
Цитирований: 2Использованных источников: 0