Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
ограничивающее условие
Связанные издания:
Artificial Evolution: Revised Selected Papers/11th International Conference, EA 2013, Bordeaux, France, October 2013
Computational Methods in Systems Biology: Proc./13th International Conference, CMSB 2015, Nantes, France, September 2015
Graph Structures for Knowledge Representation and Reasoning: Revised Selected Papers/2nd International Workshop, GKR 2011, Barcelona, Spain, July 2011
Theory and Applications of Satisfiability Testing - SAT 2011: Proc./14th International Conference, SAT 2011, Ann Arbor,MI,USA, June 2011