Web Library  •  Publication Searh	Русский
	Results Page

Search    results

Records found: 159

<<<  First part		Previous part		Next part		Last part  >>>

151.	KIAM Preprint № 1, Moscow, 1989 Authors: Shenkov I.Б. Title: Система символьно-аналитических преобразований SANTRA-2. Описание формальной части входного языка

152.	Article collection "Mathematical Problems of Cybernetics" №2, Moscow, 1989 Authors: Marchuk G.I., Romanyukha A.A., Bocharov G.A. Title: Mathematical modeling of antiviral immune response to hepatitis B virus

153.	Article collection "Mathematical Problems of Cybernetics" №2, Moscow, 1989 Authors: Raţă M.F. Title: The undecidability of modal logic expressibility problem

154.	Article collection "Mathematical Problems of Cybernetics" №2, Moscow, 1989 Authors: Marchenkov S.S. Title: The classification of algebras with alternating automorphism group

155.	Article collection "Mathematical Problems of Cybernetics" №2, Moscow, 1989 Authors: Kniazev V.V. Title: On iterative extensions of first-order logic

156.	Article collection "Mathematical Problems of Cybernetics" №2, Moscow, 1989 Authors: Karpova N.A. Title: On limited memory computations

157.	Article collection "Mathematical Problems of Cybernetics" №2, Moscow, 1989 Authors: Ugol'nikov A.B. Title: Complexity of the realization of some sequence of multivalued logic functions by formulas

158.	Article collection "Mathematical Problems of Cybernetics" №2, Moscow, 1989 Authors: Shkalikova N.A. Title: On the implementation of Boolean functions by schemes of cellular elements.

159.	Article collection "Mathematical Problems of Cybernetics" №2, Moscow, 1989 Authors: Red'kin N.P. Title: On complete fault detection tests for logic networks

<<<  First part		Previous part		Next part		Last part  >>>