Уважаемые авторы и читатели!
Научный журнал «Lecture notes in computer science» (ISSN 0302-9743) включён в базу Scopus, квартиль Q2.
Издатель: Springer Science+Business Media (CH).
Основные тематики по данным OpenAlex: Formal Methods in Verification, Semantic Web and Ontologies, Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Cryptography and Data Security.
Журнал работает по модели закрытого доступа.
Ниже приведены официальные ссылки и справочные сведения для подготовки рукописи и проверки актуальности журнала.