Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /

Guardado en:
Autor Principal: Dershowitz, Nachum.
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Voronkov, Andrei.
Formato: Electrónico
Idioma:English
Publicado: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
Series:Lecture Notes in Computer Science, 4790
Materias:
Acceso en línea:SpringerLink, via BECYT
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Descripción Física:v.: digital
ISBN:9783540755609
ISSN:0302-9743 ;