Вы здесь
Automated Deduction - CADE-16: Proc./ 16th International Conference on Automated Deduction, Trento, Italy, July 1999
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
1999
Ключевые слова:
Стр.:
429 p.
Редактор:
Место издания:
Издательство:
Том:
1632
Карточка:
В2.11.
Automated Deduction - CADE-16: Proc./ 16th International Conference on Automated Deduction, Trento, Italy, July 1999Ed. by Ganzinger H..-Berlin, Heidelberg.: Springer, 1999.-Vol. 1632.-429 p.-(Lecture Notes in Artificial Intelligence).
Таблица в старой библиотеке:
MONO2 864