Uspekhi Matematicheskikh Nauk
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Uspekhi Mat. Nauk:
Year:
Volume:
Issue:
Page:
Find




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

Uspekhi Matematicheskikh Nauk, 1964, Volume 19, Issue 6(120), Pages 239–241 (Mi rm6294)  
Mathematical Events in the USSR

The First All-Union Symposium on the Problem of Machine Searching the Logical Deduction

V. A. Matulis
Full-text PDF (284 kB)
Document Type: Information matherial
Language: Russian
Citation: V. A. Matulis, “The First All-Union Symposium on the Problem of Machine Searching the Logical Deduction”, Uspekhi Mat. Nauk, 19:6(120) (1964), 239–241
Citation in format AMSBIB
\Bibitem{Mat64}
\by V.~A.~Matulis
\paper The First All-Union Symposium on the Problem of Machine Searching the Logical Deduction
\jour Uspekhi Mat. Nauk
\yr 1964
\vol 19
\issue 6(120)
\pages 239--241
\mathnet{http://mi.mathnet.ru/rm6294}
Linking options:
  • https://www.mathnet.ru/eng/rm6294
  • https://www.mathnet.ru/eng/rm/v19/i6/p239
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Успехи математических наук Russian Mathematical Surveys
    Statistics & downloads:
    Abstract page:249
    Full-text PDF :122
    First page:1
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024