Skip to main content

Cybernetics and Systems Analysis

Ausgabe 3/1997

Inhalt (19 Artikel)

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