Avtomatika i Telemekhanika
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor
Guidelines for authors
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Avtomat. i Telemekh.:
Year:
Volume:
Issue:
Page:
Find




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

Avtomatika i Telemekhanika, 1990, Issue 7, Pages 132–139 (Mi at5527)  
Developing Systems

A logic approach to combinatorial computations

M. V. Sapir

Ekaterinburg Medical Scientific Center of Prevention and Protection of Health of Workers of Industrial Enterprises
Full-text PDF (1189 kB)

Received: 10.02.1989
Bibliographic databases:
Document Type: Article
UDC: 519.113
Language: Russian
Citation: M. V. Sapir, “A logic approach to combinatorial computations”, Avtomat. i Telemekh., 1990, no. 7, 132–139; Autom. Remote Control, 51:7 (1990), 966–972
Citation in format AMSBIB
\Bibitem{Sap90}
\by M.~V.~Sapir
\paper A logic approach to combinatorial computations
\jour Avtomat. i Telemekh.
\yr 1990
\issue 7
\pages 132--139
\mathnet{http://mi.mathnet.ru/at5527}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1071223}
\zmath{https://zbmath.org/?q=an:0732.90070}
\transl
\jour Autom. Remote Control
\yr 1990
\vol 51
\issue 7
\pages 966--972
Linking options:
  • https://www.mathnet.ru/eng/at5527
  • https://www.mathnet.ru/eng/at/y1990/i7/p132
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Avtomatika i Telemekhanika
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024