Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings /

Enregistré dans:
Détails bibliographiques
Auteur principal: Moshe Y. Vardi, Andrei Voronkov (edición)
Format: Livre
Langue:anglais
Publié: Berlín, Alemania : Springer, 2003, c2003
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!
Description
Description matérielle:1 libro electrónico en línea (XI, 436 p.)
1 recurso en línea
ISBN:978-3-540-39813-4
ISSN:1611-3349
Accès:Licencias ilimitadas