Вы здесь
Logic for Programming and Automated Reasoning: Proc./6th Intern. Conf., LPAR 99. Tbilisi, Georgia, September 1999
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
1999
Ключевые слова:
Стр.:
397 p.
Редактор:
Место издания:
Издательство:
Том:
1705
Карточка:
В2.11, Б2.2.
Logic for Programming and Automated Reasoning: Proc./6th Intern. Conf., LPAR 99. Tbilisi, Georgia, September 1999Ed. by Ganzinger H., Mcallester D., Voronkov A..-Berlin, Heidelberg.: Springer, 1999.-Vol. 1705.-397 p.-(Lecture Notes in Artificial Intelligence).
Таблица в старой библиотеке:
MONO2 915