Вы здесь
Automated Reasoning: Proc./First Intern. Joint Conf., IJCAR 2001, Siena, Italy, June 2001
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2001
Стр.:
708 p.
Редактор:
Место издания:
Издательство:
Том:
2083
Карточка:
В2.11.
Automated Reasoning: Proc./First Intern. Joint Conf., IJCAR 2001, Siena, Italy, June 2001Ed. by Gore R., Leitsch A., Nipkow T..-Berlin, Heidelberg.: Springer, 2001.-Vol. 2083.-708 p.-(Lecture Notes in Artificial Intelligence).
Таблица в старой библиотеке:
MONO3 595