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øker - Springer-Verlag Berlin and Heidelberg Gm - 9783642287169 - 24. februar 2012
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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
₪ 213

Bestillingsvarer

Forventes levert 8. - 17. des
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 24. februar 2012
ISBN13 9783642287169
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 446
Mål 155 × 235 × 23 mm   ·   657 g
Språk Fransk  
Redaktør Bjorner, Nikolaj
Redaktør Voronkov, Andrei
Vis alle

Mer med Nikolaj Bjorner

Se alt med Nikolaj Bjorner ( f.eks. Pocketbok )