Вы здесь
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