Вы здесь

Logic for Programming, Artificial Intelligence, and Reasoning: Proc./8th Intern. Conf., LPAR 2001, Havana, Cuba, December 2001

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2001
Стр.: 
738 p.
Редактор: 
Место издания: 
Издательство: 
Том: 
2250
Карточка: 

В2.11, Б2.13, Б2.14.

Logic for Programming, Artificial Intelligence, and Reasoning: Proc./8th Intern. Conf., LPAR 2001, Havana, Cuba, December 2001Ed. by Nieuwenhuis R., Voronkov A..-Berlin, Heidelberg.: Springer, 2001.-Vol. 2250.-738 p.-(Lecture Notes in Artificial Intelligence).

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