|
|
1.
|
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.
|
|
|
2.
|
Towards Mechanized Mathematical Assistants : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings / edited by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger. por
- Kauers, Manuel [editor.]
- Kerber, Manfred [editor.]
- Miner, Robert [editor.]
- Windsteiger, Wolfgang [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4573
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Disponibilidad: No hay ítems disponibles.
|
