Issledovaniya po Prikladnoi Matematike
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Issled. Prikl. Mat. Inform.:
Year:
Volume:
Issue:
Page:
Find




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

Issledovaniya po Prikladnoi Matematike, 1977, Issue 4, Pages 31–34 (Mi kuipm259)  
Decision tactics for derivation search in the resolution method

N. K. Zamov, V. I. Sharonov
Full-text PDF (392 kB) English version article
English version:
Journal of Soviet Mathematics, 1987, Volume 39, Issue 5, Pages 2969–2971
DOI: https://doi.org/10.1007/BF01093424
Bibliographic databases:
Language: Russian
Citation: N. K. Zamov, V. I. Sharonov, “Decision tactics for derivation search in the resolution method”, Issled. Prikl. Mat., 4, Kazan University, Kazan, 1977, 31–34; J. Soviet Math., 39:5 (1987), 2969–2971
Citation in format AMSBIB
\Bibitem{ZamSha77}
\by N.~K.~Zamov, V.~I.~Sharonov
\paper Decision tactics for derivation search in the resolution method
\serial Issled. Prikl. Mat.
\yr 1977
\vol 4
\pages 31--34
\publ Kazan University
\publaddr Kazan
\mathnet{http://mi.mathnet.ru/kuipm259}
\mathscinet{https://mathscinet.ams.org/mathscinet-getitem?mr=521222}
\zmath{https://zbmath.org/?q=an:0664.03010}
\transl
\jour J. Soviet Math.
\yr 1987
\vol 39
\issue 5
\pages 2969--2971
\crossref{https://doi.org/10.1007/BF01093424}
Linking options:
  • https://www.mathnet.ru/eng/kuipm259
  • https://www.mathnet.ru/eng/kuipm/v4/p31
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Statistics & downloads:
    Abstract page:258
    Full-text PDF :175
    References:2
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2026