Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
PSI 10
Связанные издания:
Branching Processes of Petri Nets
Conflict Resolution in Multi-agent Systems with Typed Connextions for Ontology Population
Program Schemata Technique to Solve Propositional Program Logics Revised
Towards Using Extract Real Arithmetic for Initial Valne Problems