Frontiers of Combining Systems: Proc./8th International Symposium, FroCoS 2011, Saarbrucken, Germany, October 2011 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2011

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

программирование

множество

логика первого порядка

переписывание

высокий порядок

линейная арифметика

Стр.:

276 p.

Редактор:

Sofronie-Stokkermans V.

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

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

Серия:

Lecture Notes in Artificial Intelligence

Том:

6989

Карточка:

Б2.1, В2.11.

Frontiers of Combining Systems: Proc./8th International Symposium, FroCoS 2011, Saarbrucken, Germany, October 2011Ed. by Tinelli C., Sofronie-Stokkermans V..-Berlin.: Springer, 2011.-Vol. 6989.-276 p.-(Lecture Notes in Artificial Intelligence).

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

MONO9 226