Вы здесь
Logic for Programming and Automated Reasoning: Proc./7th Intern. Conf., LPAR 2000, Reunion Island, France, November 2000
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2000
Ключевые слова:
Стр.:
487 p.
Редактор:
Место издания:
Издательство:
Том:
1955
Карточка:
В2.11, Б2.13, Б2.14.
Logic for Programming and Automated Reasoning: Proc./7th Intern. Conf., LPAR 2000, Reunion Island, France, November 2000Ed. by Parigot M., Voronkov A..-Berlin, Heidelberg.: Springer, 2000.-Vol. 1955.-487 p.-(Lecture Notes in Artificial Intelligence).
Таблица в старой библиотеке:
MONO3 451