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
Annotatsiya
Annotatsiya mavjud emas.
Identifikatorlar
Iqtiboslar va manbalar
2 ta iqtibos0 ta foydalanilgan manba