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
Abstract
No abstract available.
Identifiers
Citations and references
Cited by 20 references