Вы здесь

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