Skip to main content
Top

Cybernetics and Systems Analysis

Issue 3/1997

Content (19 Articles)

Complexity and undecidability in mathematical theories

A. M. Gupal, S. V. Pashko, I. V. Sergienko

Using logical derivation rules in relational DBMS

R. P. Kramorenko, N. A. Polyakovskaya

Simulation of discontinuous fields

V. V. Skopetskii, V. S. Deineka

Adaptive multifactor-evaluation model

A. O. Ovezgel’dyev, K. É. Petrov

Linear inequalities for generalized kirchhoff law

V. V. Ostapenko, A. I. Pavlygin

Recursive hyperstructures

A. V. Anisimov

Brief Communication

Theorem proving in infinite herbrand domain

Y. Y. Samokhvalov

Premium Partner