Вы здесь

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Proc./Joint Intern. Conf., AISC 2002 and Calculemus 2002, Marseille, France, July 2002

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2002
Ключевые слова: 
Стр.: 
343 p.
Место издания: 
Издательство: 
Том: 
2385
Карточка: 

В2.1, Б4.2.

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Proc./Joint Intern. Conf., AISC 2002 and Calculemus 2002, Marseille, France, July 2002/Ed. by Calmet J., Benhamou B., Caprotti O., Henocque L..-Berlin, Heidelberg.: Springer, 2002.-Vol. 2385.-343 p.-(Lecture Notes in Artificial Intelligence).

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