Tools for Teaching Logic: Proc./ Third International Congress, TICTTL 2011, Salamanca, Spain, June 2011 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2011

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

вычислительная наука

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

логики обучения

математическая логика

предикатный

Стр.:

257 p.

Редактор:

Van_Ditmarsh H.

Soler-Toscano F.

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

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

Серия:

Lecture Notes in Artificial Intelligence

Том:

6680

Карточка:

Б2.13, В2.11.

Tools for Teaching Logic: Proc./ Third International Congress, TICTTL 2011, Salamanca, Spain, June 2011Ed. by Blackburn P., Van_Ditmarsh H., Manzano M., Soler-Toscano F..-Berlin.: Springer, 2011.-Vol. 6680.-257 p.-(Lecture Notes in Artificial Intelligence).

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

MONO8 841