Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings /

Enregistré dans:
Détails bibliographiques
Auteur principal: Miki Hermann, Andrei Voronkov (edición)
Format: Livre
Langue:anglais
Publié: Berlín, Alemania : Springer, 2006, c2006
Collection:(Lecture Notes in Computer Science)
Accès en ligne:Ver documento en línea
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!