Logic for Programming, Artificial Intelligence, and Reasoning (häftad)
Fler böcker inom
Format
Häftad (Paperback / softback)
Språk
Engelska
Antal sidor
446
Utgivningsdatum
2012-02-24
Upplaga
2012
Förlag
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Medarbetare
Bjørner, Nikolaj (ed.), Voronkov, Andrei (ed.)
Illustratör/Fotograf
78 schwarz-weiße Abbildungen
Illustrationer
XI, 446 p.
Dimensioner
231 x 155 x 23 mm
Vikt
658 g
Antal komponenter
1
Komponenter
1 Paperback / softback
ISBN
9783642287169

Logic for Programming, Artificial Intelligence, and Reasoning

18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

av Nikolaj Bjrner, Andrei Voronkov
Häftad,  Engelska, 2012-02-24
760
Köp
Spara som favorit
  • Skickas från oss inom 7-10 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.
Visa hela texten

Passar bra ihop

  1. Logic for Programming, Artificial Intelligence, and Reasoning
  2. +
  3. The Anxious Generation

De som köpt den här boken har ofta också köpt The Anxious Generation av Jonathan Haidt (inbunden).

Köp båda 2 för 1049 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

Nikolaj Bjrner, Andrei Voronkov

Du kanske gillar