• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Книга

Automated Reasoning, 10th International Joint Conference, IJCAR 2020, Part I

Vol. 12166. Cham: Springer, 2020.
Научный редактор: N. Peltier, V. Sofronie-Stokkermans.
Главы книги
Automated Reasoning, 10th International Joint Conference, IJCAR 2020, Part I