Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Matthias Baaz, Andrei Voronkov (edición)
Médium: Kniha
Jazyk:angličtina
Vydáno: Berlín, Alemania : Springer, 2002, c2002
Edice:(Lecture Notes in Computer Science)
On-line přístup:Ver documento en línea
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Fyzický popis:1 libro electrónico en línea (XIV, 470 p.)
1 recurso en línea
ISBN:978-3-540-36078-0
ISSN:1611-3349
Přístup:Licencias ilimitadas