Theory and Applications of Satisfiability Testing - SAT 2017: Proc./20th International Conference, Melbourn,VIC,Australia, August 2017 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2017

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

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

теория ограничений

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

формальный метод

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

генетический алгоритм

алгоритм обучения

система обучения

машинное обучение

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

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

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

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

Стр.:

476 p.

Редактор:

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

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

Серия:

Lecture Notes in Computer Science

Том:

10491

Карточка:

Theory and Applications of Satisfiability Testing - SAT 2017: Proc./20th International Conference, Melbourn,VIC,Australia, August 2017Ed. by Gaspers S., Walsh T..-Berlin.: Springer, 2017.-Vol. 10491.-476 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке:

NOVPOS3 47