Theory and Applications of Satisfiability Testing - SAT 2018: Proc./21st International Conference, SAT 2018 Held as Part of the Federated Logic Conference, FLoC 2018, Oxford, UK, July 2018 | Мемориальная библиотека А.П. Ершова

Вы здесь

Количество экземпляров:

1

Вид:

Сборник или журнал

Год:

2018

Ключевые слова:

искусственный интеллект

компьютерная архитектура

формальная логика

формальная верификация

теория графов

вероятность

решение проблем

язык программирования

семантика

разработка по

эволюция по

доказательство теорем

выполнимость

Стр.:

452 p.

Редактор:

Wintersteiger C.M.

Место издания:

Издательство:

Источник:

Моделирование и анализ информационных систем

Том:

10929

Карточка:

Theory and Applications of Satisfiability Testing - SAT 2018: Proc./21st International Conference, SAT 2018 Held as Part of the Federated Logic Conference, FLoC 2018, Oxford, UK, July 2018Ed. by Beyersdorff O., Wintersteiger C.M..-Berlin.: Springer, 2018.-Vol. 10929.-452 p.