Theoretical Aspects of Computing - ICTAC 2017: Proc./14th International Colloquium, Hanoi, Vietnam, October 2017 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2017

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

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

теория автоматов

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

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

семантика

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

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

теоретическое программирование

теория безопасности

верификация

Стр.:

305 p.

Редактор:

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

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

Серия:

Lecture Notes in Computer Science

Том:

10580

Карточка:

Theoretical Aspects of Computing - ICTAC 2017: Proc./14th International Colloquium, Hanoi, Vietnam, October 2017Ed. by Hung D. V., Kapur D..-Berlin.: Springer, 2017.-Vol. 10580.-305 p.-(Lecture Notes in Computer Science).

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

MONO12 660