1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Theory andApplications ofSatisfiabilityTesting – SAT 2008 2008 год

Theory and Applications of Satisfiability Testing – SAT 2008
книга

Страница публикацииПубликация в OpenAlex
Год издания: 2008
Издательство: Springer Science+Business Media
Источник: Lecture notes in computer science
Ключевые слова: Risk and Safety Analysis