|
1.
|
Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings / edited by Franz Baader, Andrei Voronkov. por
- Baader, Franz [editor.]
- Voronkov, Andrei [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3452
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005
Disponibilidad: No hay ítems disponibles.
|