Resultados
|
|
1.
|
Intelligent Computer Mathematics : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings / edited by Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk. por
- Autexier, Serge [editor.]
- Campbell, John [editor.]
- Rubio, Julio [editor.]
- Sorge, Volker [editor.]
- Suzuki, Masakazu [editor.]
- Wiedijk, Freek [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5144
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Disponibilidad: No hay ítems disponibles.
|
|
|
2.
|
Intelligent Computer Mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings / edited by Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge. por
- Jeuring, Johan [editor.]
- Campbell, John A [editor.]
- Carette, Jacques [editor.]
- Reis, Gabriel [editor.]
- Sojka, Petr [editor.]
- Wenzel, Makarius [editor.]
- Sorge, Volker [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7362
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
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. por
- Kerber, Manfred [editor.]
- Carette, Jacques [editor.]
- Kaliszyk, Cezary [editor.]
- Rabe, Florian [editor.]
- Sorge, Volker [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 9150
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Springer, 2015
Disponibilidad: No hay ítems disponibles.
|
