RUS  ENG
Full version
JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1970 Volume 191, Number 5, Pages 1004–1006 (Mi dan35341)

MATHEMATICS

The complexity of the algorithms that are connected with the realization of logico-arithmetical and propositional formulae

V. I. Khomich

Lomonosov Moscow State University

UDC: 517.11

Presented: P. S. Novikov
Received: 04.09.1969



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025