Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Fermüller, Christian G. (Éditeur intellectuel), Voronkov, Andrei (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Édition:1st ed. 2010.
Collection:Theoretical Computer Science and General Issues, 6397
Sujets:
Artificial intelligence.
Software engineering.
Computer science.
Machine theory.
Computer programming.
Compilers (Computer programs).
Artificial Intelligence.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Programming Techniques.
Compilers and Interpreters.
Accès en ligne:Texto Completo

Documents similaires

Documents similaires