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

Dokl. Akad. Nauk SSSR, 1973 Volume 212, Number 5, Pages 1036–1038 (Mi dan50504)

MATHEMATICS

The dependence of the rules of deduction of the second stage in Markov's step-by-step semantic system

V. V. Gimon

Lomonosov Moscow State University

UDC: 510

Presented: A. A. Dorodnitsyn
Received: 19.02.1973



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024