Полное описание
> Lecture notes in artificial intelligence : subser. of lecture notes in computer science / ed. R. Goebel [et al.]. - Berlin [etc.] : Springer, 19 - . - Текст : непосредственный.
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
ГРНТИ | УДК | |
27.41 | 519.6(063) |
Рубрики:
Вычислительная математика -- Съезды и конференции
Доп. точки доступа:
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)
>
Имеются экземпляры в отделах: всего -20120725 : ПНТ (-20120726), (1)
Свободны: ПНТ (1), (1)
Копия:
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16482/6824)>
Шифр в сводном ЭК: dbefb96e81eb5b21201625f345e46395
Заказ фрагмента документа ₽