Вы здесь

Automated Reasoning: Proc./4th International Joint Conference, IJCAR 2008. Sydney, Australia, August 2008

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2008
Стр.: 
556 p.
Место издания: 
Издательство: 
Том: 
5195
Карточка: 

Б2.14, Б2.2, В2.1.

Automated Reasoning: Proc./4th International Joint Conference, IJCAR 2008. Sydney, Australia, August 2008/Ed. by Armando A., Baumgartner P., Dowek G..-Berlin, Heidelberg.: Springer, 2008.-Vol. 5195.-556 p.-(Lecture Notes in Artificial Intelligence).

Таблица в старой библиотеке: 
MONO7 252