Resultados
|
1.
|
|
|
2.
|
|
|
3.
|
Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings / edited by Nikolaj Bjørner, Andrei Voronkov. por
- Bjørner, Nikolaj [editor.]
- Voronkov, Andrei [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7180
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.
|