Везде

RAS PresidiumДоклады Российской академии наук. Математика, информатика, процессы управления Doklady Mathematics

  • ISSN (Print) 2686-9543
  • ISSN (Online) 3034-5049

S.N. Vassilyev

  • Academician of the RAS
  • Academician of the RAS
Author ID
85655

By this author

  • TYPE-QUANTIFIER CALCULUS OF POSITIVELY-FORMED FORMULAS WITH NEGATIONS

    Issue number 1 from 10.06.2025
    Разработаны логические позитивно-образованные средства представления знаний и автоматизации дедуктивного вывода: типово-кванторные язык и исчисление. В них типовые условия кванторов могут содержать отрицания, а исчисление обладает полнотой относительно выводимости в классическом исчислении предикатов.
    12 0

Индексирование

Scopus

Scopus

Scopus

Crossref

Scopus

Higher Attestation Commission

At the Ministry of Education and Science of the Russian Federation

Scopus

Scientific Electronic Library