Deductive tools of an algebraic programming system von Kapitonova, Yu. V., Letichevskii, A. A., Volkov, V. A.

Volltext

Theorem proving in a mathematical information environment von Kapitonova, Yu. V., Letichevskii, A. A.

Volltext

The evidence algorithm and problems of representation and processing of mathematical computer knowledge von Degtyarev, A. I., Kapitonova, Yu. V., Letichevskii, A. A., Lyaletski, A. V., Morokhovets, M. K.

Volltext

Objects in algebraic programming system von Letichevskii, A. A., Marinchenko, V. G.

Volltext

Implementation of numerical-analytical approximation methods for functions defined by ordinary differential equations von Letichevskii, A. A., Denisenko, P. N., Bilenko, V. I., Volkov, V. A.

Volltext

Minimal realizations of discrete systems von Letichevskii, A. A.

Volltext

A Rewriting Machine and Optimization of Strategies of Term Rewriting von Letichevskii, A A, Khomenko, V V

Volltext

Implementation of the nielsen algorithm in the algebraic programming system APS-1 von Letichevskii, A. A., Krivoi, S. L.

Volltext

Basic paradigms of programming von Yu. Kapitonova, V., Letichevskii, A. A.

Volltext

Algebras with approximation and recursive data structures von Letichevskii, A. A.

Volltext

Hardware simulation in distributed computing systems: Methods and tools von Grebnev, V. A., Kapitonova, Yu. V., Letichevskii, A. A.

Volltext

Optimizing compiler for the procedural subset of the algebraic programming language of the APS system von Val'kevich, T. A., Kapitonova, Yu. V., Letichevskii, A. A.

Volltext

Paradigm of software component dictionaries for software development von Val'kevich, T. A., Kapitonova, Yu. V., Letichevskii, A. A., Mishchenko, N. M.

Volltext

Algebraic programming: Methods and tools von Kapitonova, Yu. V., Letichevskii, A. A.

Volltext

Implementation of an optimizing compiler for the procedural subset of the algebraic programming language of the APS system von Val'kevich, T. A., Kapitonova, Yu. V., Letichevskii, A. A., Mishchenko, N. M.

Volltext

Paralielization of the Buchberger algorithm von Letichevskii, A. A.

Volltext

Insertion Programming von Letichevskii, A A, Kapitonova, Yu V, Volkov, V A, Vyshemirskii, V V, Letichevskii, A A

Volltext

Semantics of Timed Message Sequence Charts von Letichevskii, A A, Kapitonova, Yu V, Kotlyarov, V P, Letichevskii, A A, Volkov, V A

Volltext

Constructive mathematical descriptions of subject domains von Kapitonova, Yu. V., Letichevskii, A. A.

Volltext

Design of macropipelined programs von Kapitonova, Yu. V., Letichevskii, A. A.

Volltext