Resultados
|
|
1.
|
Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings / edited by Bernhard Gramlich, Dale Miller, Uli Sattler. por
- Gramlich, Bernhard [editor.]
- Miller, Dale [editor.]
- Sattler, Uli [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7364
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.
|
|
|
2.
|
Intelligent information processing vii : 8th ifip tc 12 international conference, iip 2014, hangzhou, china, october 17-20, 2014, proceedings / edited by Zhongzhi Shi, Zhaohui Wu, David Leake, Uli Sattler. por
- Shi, Zhongzhi [editor.]
- Wu, Zhaohui [editor.]
- Leake, David [editor.]
- Sattler, Uli [editor.]
- SpringerLink (Servicio en línea)
Series IFIP Advances in Information and Communication Technology ; 432
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Springer, 2014
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
Knowledge engineering and knowledge management : ekaw 2014 satellite events, visual, ekm1, and arcoe-logic, linköping, sweden, november 24-28, 2014. Revised selected papers. / edited by Patrick Lambrix, Eero Hyvönen, Eva Blomqvist, Valentina Presutti, Guilin Qi, Uli Sattler, Ying Ding, Chiara Ghidini. por
- Lambrix, Patrick [editor.]
- Hyvönen, Eero [editor.]
- Blomqvist, Eva [editor.]
- Presutti, Valentina [editor.]
- Qi, Guilin [editor.]
- Sattler, Uli [editor.]
- Ding, Ying [editor.]
- Ghidini, Chiara [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8982
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.
|
