Вы здесь
Automated Deduction - CADE-14: Proc./14th Intern. Conf. on Automated Deduction. Townsville, North Queensland, Australia, July 1997
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
1997
Ключевые слова:
Стр.:
462 p.
Редактор:
Место издания:
Издательство:
Том:
1249
Карточка:
В2.11.
Automated Deduction - CADE-14: Proc./14th Intern. Conf. on Automated Deduction. Townsville, North Queensland, Australia, July 1997Ed. by Mccune W..-Berlin, Heidelberg.: Springer, 1997.-Vol. 1249.-462 p.-(Lecture Notes in Artificial Intelligence).
Таблица в старой библиотеке:
MONO2 340