Array database Internals

Formal polynomials, heuristics and proofs in logic

Программная система, осуществляющая case-based reasoning для диагностирования заболеваний позвоночника

On the model checking of finite state transducers over semigroups

Brain-Like Computer Structures

Formalization as the immanent part of logical solving

Logical-algebraic models for representing and processing discrete data

Equationally noetherian algebras and chain conditions

Linguistic algebra and similar-tobrain computer

Algebraic logic and logical geometry. Twoinone