Intelligent computer mathematics : international conference, cicm 2015, washington, dc, usa, july 13-17, 2015, proceedings. / edited by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge.

Colaborador(es):

Tipo de material: Texto

TextoSeries Lecture Notes in Computer Science ; 9150Editor: Cham : Springer International Publishing : Springer, 2015Descripción: xxi, 359 páginas : 84 ilustracionesTipo de contenido:

Tipo de medio:

Tipo de portador:

ISBN:

Formatos físicos adicionales: Edición impresa:: Sin títuloClasificación LoC:

Recursos en línea:

Contenidos:

Invited Talks -- Calculemus -- Digital Mathematics Libraries -- Mathematical Knowledge Management -- Projects and Surveys -- Systems and Data.

No hay ítems correspondientes a este registro

Springer eBooks

Invited Talks -- Calculemus -- Digital Mathematics Libraries -- Mathematical Knowledge Management -- Projects and Surveys -- Systems and Data.

Para consulta fuera de la UANL se requiere clave de acceso remoto.