Automated Deduction - CADE-23: Proc./23rd International Conference on AD, Wroclaw, Poland, July/August 2011 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2011

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

computer aided verification

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

логический

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

модельно-ориентированный

программа

система переписывания термов

терминальный

конечный

Стр.:

508 p.

Редактор:

Sofronie-Stokkermans V.

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

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

Серия:

Lecture Notes in Artificial Intelligence

Том:

6803

Карточка:

В2.11, Б2.2.

Automated Deduction - CADE-23: Proc./23rd International Conference on AD, Wroclaw, Poland, July/August 2011Ed. by Bjorner N., Sofronie-Stokkermans V..-Berlin.: Springer, 2011.-Vol. 6803.-508 p.-(Lecture Notes in Artificial Intelligence).

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

MONO8 960