Вы здесь
Automated Deduction - CADE-15: Proc./15th Intern. Conf. on Automated Deduction. Lindau, Germany, July 1998
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
1998
Ключевые слова:
Стр.:
443 p.
Редактор:
Место издания:
Издательство:
Том:
1421
Карточка:
В2.11.
Automated Deduction - CADE-15: Proc./15th Intern. Conf. on Automated Deduction. Lindau, Germany, July 1998Ed. by Kirchner C., Kirchner H..-Berlin, Heidelberg.: Springer, 1998.-Vol. 1421.-443 p.-(Lecture Notes in Artificial Intelligence).
Таблица в старой библиотеке:
MONO2 606