Вы здесь

Towards Mechanized Mathematical Assistants:Proc./14th Symposium, Calculemus 2007, 16th International Conf.MKM 2007, Hagenberg,Austria,June 2007

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

В2.1, В2.4, Б4.2.

Towards Mechanized Mathematical Assistants:Proc./14th Symposium, Calculemus 2007, 16th International Conf.MKM 2007, Hagenberg,Austria,June 2007/Ed. by Kauers M., Kerber M., Miner R., Windsteiger W..-Berlin, Heidelberg.: Springer, 2007.-Vol. 4573.-407 p.-(Lecture Notes in Artificial Intelligence).

Таблица в старой библиотеке: 
MONO6 692