Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings /

Na minha lista:
Detalhes bibliográficos
Autor principal: Robert Nieuwenhuis, Andrei Voronkov (edición)
Formato: Livro
Idioma:inglês
Publicado em: Berlín, Alemania : Springer, 2001, c2001
coleção:(Lecture Notes in Computer Science)
Acesso em linha:Ver documento en línea
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
Descrição
Descrição Física:1 libro electrónico en línea (XV, 741 p.)
1 recurso en línea
ISBN:978-3-540-45653-7
ISSN:1611-3349
Acesso:Licencias ilimitadas