|
1.
|
Automated Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Ulrich Furbach, Natarajan Shankar. por
- Furbach, Ulrich [editor.]
- Shankar, Natarajan [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4130
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Disponibilidad: No hay ítems disponibles.
|