Logic for Programming, Artificial Intelligence, and Reasoning [Risorsa elettronica] : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings / edited by Jaime G. Carbonell, Jörg Siekmann, Iliano Cervesato, Helmut Veith, Andrei Voronkov

• Record Nr.: UNINA990009258330403321
• Pubbl/distr/stampa: Berlin ; Heidelberg : Springer, 2008
• ISBN: 9783540894391
• Collana: Lecture Notes in Computer Science , 0302-9743 ; 5330
• Lingua di pubblicazione: Inglese
• Formato: Risorsa elettronica
• Livello bibliografico: Monografia