Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
теория решений
Связанные издания:
Algorithmic Decision Theory: Proc./4th International Conference, ADT 2015, Lexington,KY,USA, September 2015
Algorithmic Decision Theory: Proc./6th International Conference, ADT 2019, Durham,NC,USA, October 2019
Algorithmic Decision Theory: Proc./7th International Conference, ADT 2021, Toulouse, France, November 2021
Computer Aided Verification, Part I: Proc./30th International Conference, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Logic and Its Applications: Proc./5th Indian Conference, ICLA 2013, Chennai, India, January 2013
Logic, Rationality, and Interaction: Proc./5th International Workshop, LORI 2015, Taipei, Taiwan, October 2015
Machine Learning and Knowledge Discovery in Databases, Part I: Proc./European Conference, ECML PKDD 2011, Athens, Greece, September 2011
Numerical Software Verification: Proc./12th International Workshop, NSV 2019, New York City,NY,USA, July 2019
Principles and Practice of Constraint Programming: Proc./25th International Conference, CP 2019, Stamford,CT,USA, September 2019
Principles and Practice of Constraint Programming: Proc./26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 2020
Quantitative Evaluation of Systems: Proc./15th International Conference, QEST 2018, Beijing, China, September 2018
Rough Sets: Proc./International Joint Conference, IJCRS 2020, Havana, Cuba, June 2020
Rough Sets: Proc./International Joint Conference, IJCRS 2021, Bratislava, Slovakia, September 2021
Software Verification: Revised Selected Papers/12th International Conference, VSTTE 2020 and 13th International Workshop,, NSV 2020, Los Angeles,CA,USA, July 2020
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proc./13th European Conference, ECSQARU 2015, Compiegne, France, July 2015
Theory and Applications of Satisfiability Testing - SAT 2019: Proc./22nd International Conference, SAT 2019, Lisbon, Portugal, July 2019
Theory and Applications of Satisfiability Testing - SAT 2020: Proc./23rd International Conference, Alghero, Italy, July 2020
Theory and Applications of Satisfiability Testing - SAT 2021: Proc./24th International Conference, Barcelona, Spain, July 2021
Transactions on Rough Sets XXII