Полное описание

R/16482/6824
Lecture notes in artificial intelligence : subser. of lecture notes in computer science / ed. R. Goebel [et al.]. - Berlin [etc.] : Springer, 19 - . - ISSN 0302-9743. - Текст : непосредственный.
6824 : Intelligent computer mathematics : 18th symp., Calculemus 2011 and 10th intern. conf., MKM 2011, Bertinoro, Italy, Jul. 18-23, 2011: proc. / Symposium on the integration of symbolic computation and mechanized reasoning (18; 2011; Calculemus); International conference on mathematical knowledge management (10; 2011; Bertinoro) ; ed. J. H. Davenport [et al.]. - 2011. - XIII, 312 p. : ill. - Библиогр. в конце докл. Указ.: с. 311-312. - ISBN 978-3-642-22672-4 : 3560.00 р.

ГРНТИ	УДК
27.41	519.6(062)

Рубрики:
Вычислительная математика -- Съезды и конференции

Доп. точки доступа:
Goebel, R.\ed.\
Davenport, J. H.\ed.\
Symposium on the integration of symbolic computation and mechanized reasoning (18 ; 2011 ; Calculemus)
International conference on mathematical knowledge management (10 ; 2011 ; Bertinoro)

Имеются экземпляры в отделах: всего 2 : ПНТ (1), (1)
Свободны: ПНТ (1), (1)
Копия:

Заказать издание
Заказ фрагмента документа ₽