Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings - Theoretical Computer Science and General Issues - Nikolaj Bjorner - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783642287169 - 24. februar 2012
Ved uoverensstemmelse mellem cover og titel gælder titel

Nikolaj Bjorner
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings - Theoretical Computer Science and General Issues

Pris
₪ 270

Bestilles fra fjernlager

Forventes klar til forsendelse 9. - 16. dec.
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

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.

457 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 24. februar 2012
ISBN13 9783642287169
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 446
Mål 155 × 235 × 23 mm   ·   657 g
Sprog Fransk  
Klipper/redaktør Bjorner, Nikolaj
Klipper/redaktør Voronkov, Andrei
Vis alle

Mere med Nikolaj Bjorner

Se alt med Nikolaj Bjorner ( f.eks. Paperback Bog )