Вы здесь
Automated Deduction - CADE-18: Proc./18th Intern. Conf. on Automated Deduction, Copenhagen, Denmark, July 2002
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2002
Ключевые слова:
Стр.:
534 p.
Редактор:
Место издания:
Издательство:
Том:
2392
Карточка:
В2.11.
Automated Deduction - CADE-18: Proc./18th Intern. Conf. on Automated Deduction, Copenhagen, Denmark, July 2002Ed. by Voronkov A..-Berlin, Heidelberg.: Springer, 2002.-Vol. 2392.-534 p.-(Lecture Notes in Artificial Intelligence).
Таблица в старой библиотеке:
MONO4 80