Search
Research and practice journal
Software & Systems
ISSN 0236-235X (P)
ISSN 2311-2735 (E)
Send article
About
Contacts
Editorial Board
Journal scope
Current issue
Content
Authors
Journal archive
Subscription
For authors
Submission Requirements
Review
Publication Ethics
Journal influence
Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)
Bookmark
Next issue
№
4
Publication date:
09 December 2024
Issues
2024
№3 2024
№2 2024
№1 2024
2023
№4 2023
all issues
Keyword: active logic
Active logic and logic programming: integration of the concepts
Authors:
Фоминых И.Б.
,
Виньков М.М.
,
Пожидаев А.К.
Development of a prototype solver for extended step theories of propositional logic
Authors:
Фомина М.В.
,
Фоминых И.Б.
,
Гулякина Н.А.
,
Алексеев Н.П.
,
Кравченко К.С.