Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Fermüller, Christian G. (Editor ), Voronkov, Andrei (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Theoretical Computer Science and General Issues, 6397
Temas:
Artificial intelligence.
Software engineering.
Computer science.
Machine theory.
Computer programming.
Compilers (Computer programs).
Artificial Intelligence.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Programming Techniques.
Compilers and Interpreters.
Acceso en línea:Texto Completo
Descripción
Descripción Física:XII, 656 p. 83 illus. online resource.
ISBN:9783642162428
ISSN:2512-2029 ;

Ejemplares similares