Вы здесь
Automated Deduction - CADE-19: Proc./19th Intern. Conf. on Automated Deduction, Miami Beach, FL, USA, July-August 2003
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2003
Ключевые слова:
Стр.:
503 p.
Редактор:
Место издания:
Издательство:
Том:
2741
Карточка:
В2.11.
Automated Deduction - CADE-19: Proc./19th Intern. Conf. on Automated Deduction, Miami Beach, FL, USA, July-August 2003Ed. by Baader F..-Berlin, Heidelberg.: Springer, 2003.-Vol. 2741.-503 p.-(Lecture Notes in Artificial Intelligence).
Таблица в старой библиотеке:
MONO4 444