V. V. Gimon, “The dependence of the rules of deduction of the second stage in Markov's step-by-step semantic system”, Dokl. Akad. Nauk SSSR, 212:5 (1973), 1036

Doklady Akademii Nauk SSSR

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	General information
	Latest issue
	Archive

	Search papers
	Search references

	RSS
	Latest issue
	Current issues
	Archive issues
	What is RSS

Dokl. Akad. Nauk:
Year:
Volume:
Issue:
Page:
	Find

Personal entry:
Login:
Password:
	Save password
	Enter
	Forgotten password?
	Register

Doklady Akademii 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

Full-text PDF (358 kB)

Presented: A. A. Dorodnitsyn
Received: 19.02.1973

Bibliographic databases:

Document Type: Article

UDC: 510

Language: Russian

Citation: V. V. Gimon, “The dependence of the rules of deduction of the second stage in Markov's step-by-step semantic system”, Dokl. Akad. Nauk SSSR, 212:5 (1973), 1036–1038

Citation in format AMSBIB

\Bibitem{Gim73}

\by V.~V.~Gimon

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

\jour Dokl. Akad. Nauk SSSR

\yr 1973

\vol 212

\issue 5

\pages 1036--1038

\mathnet{http://mi.mathnet.ru/dan50504}

\mathscinet{https://mathscinet.ams.org/mathscinet-getitem?mr=0337517}

\zmath{https://zbmath.org/?q=an:0308.02038}

Linking options:

https://www.mathnet.ru/eng/dan50504

https://www.mathnet.ru/eng/dan/v212/i5/p1036

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Registration to the website

Logotypes