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, 1993, Issue 9, Pages 136–153 (Mi at3019)  
Simulation of Behavior and Intelligence

Deductive inference using necessary and sufficient deducibility conditions in first-order predicate calculus

S. I. Tishchenko
Full-text PDF (1923 kB)

Received: 07.09.1992
Bibliographic databases:
Document Type: Article
UDC: 519.816
MSC: Primary 68T15; Secondary 03B35, 68T20, 68T30
Language: Russian
Citation: S. I. Tishchenko, “Deductive inference using necessary and sufficient deducibility conditions in first-order predicate calculus”, Avtomat. i Telemekh., 1993, no. 9, 136–153; Autom. Remote Control, 54:9 (1993), 1416–1430
Citation in format AMSBIB
\Bibitem{Tis93}
\by S.~I.~Tishchenko
\paper Deductive inference using necessary and sufficient deducibility conditions in first-order predicate calculus
\jour Avtomat. i Telemekh.
\yr 1993
\issue 9
\pages 136--153
\mathnet{http://mi.mathnet.ru/at3019}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1266045}
\zmath{https://zbmath.org/?q=an:0823.68100}
\transl
\jour Autom. Remote Control
\yr 1993
\vol 54
\issue 9
\pages 1416--1430
Linking options:
  • https://www.mathnet.ru/eng/at3019
  • https://www.mathnet.ru/eng/at/y1993/i9/p136
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Avtomatika i Telemekhanika
    Statistics & downloads:
    Abstract page:127
    Full-text PDF :75
    First page:2
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024