Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
20925
Связанные издания:
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./30th International Conference, TABLEAUX 2021, Birmingham, UK, September 2021
Knowledge Graphs and Big Data Processing
Светоиндуцированный дрейф молекул