Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. The 45 revised full papers presented together with 3 invited talks were caref...

Description complète

Détails bibliographiques

Cote:	Libro Electrónico
Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Cervesato, Iliano (Éditeur intellectuel), Veith, Helmut (Éditeur intellectuel), Voronkov, Andrei (Éditeur intellectuel)
Format:	Électronique eBook
Langue:	Inglés
Publié:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Édition:	1st ed. 2008.
Collection:	Lecture Notes in Artificial Intelligence, 5330
Sujets:	Artificial intelligence. Software engineering. Computer programming. Computer science. Machine theory. Artificial Intelligence. Software Engineering. Programming Techniques. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory.
Accès en ligne:	Texto Completo