Вы здесь

Главная

Interfaces: Explorations in Logic, Language and Computation: Selected Papers/ESSLLI 2008 and ESSLLI 2009 Student Sessions

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2010
Ключевые слова: 
вычисления
взаимодействие
человек-робот
математическая логика
теория доказательств
семантика
Стр.: 
167 p.
Редактор: 
Icard Th.
Muskens R.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Artificial Intelligence
Том: 
6211
Карточка: 

Б2.1, В2.11.

Interfaces: Explorations in Logic, Language and Computation: Selected Papers/ESSLLI 2008 and ESSLLI 2009 Student SessionsEd. by Icard Th., Muskens R..-Berlin.: Springer, 2010.-Vol. 6211.-167 p.-(Lecture Notes in Artificial Intelligence).

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