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.
|
Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings / edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk. por
- Eekelen, Marko [editor.]
- Geuvers, Herman [editor.]
- Schmaltz, Julien [editor.]
- Wiedijk, Freek [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6898
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
|
