Вы здесь
Automated Deduction - CADE-17: Proc./17th Intern. Conf. on Automated Deduction. Pittsburgh, PA, USA, June 2000
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2000
Ключевые слова:
Стр.:
519 p.
Редактор:
Место издания:
Издательство:
Том:
1831
Карточка:
В2.11.
Automated Deduction - CADE-17: Proc./17th Intern. Conf. on Automated Deduction. Pittsburgh, PA, USA, June 2000Ed. by Mcallester D..-Berlin, Heidelberg.: Springer, 2000.-Vol. 1831.-519 p.-(Lecture Notes in Artificial Intelligence).
Таблица в старой библиотеке:
MONO3 255