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öcker - Springer-Verlag Berlin and Heidelberg Gm - 9783642287169 - 24 februari 2012
Om omslag och titel inte matchar är det titeln som gäller

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
SEK 649

Beställningsvara

Förväntad leverans 5 - 13 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
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öcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 24 februari 2012
ISBN13 9783642287169
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 446
Mått 155 × 235 × 23 mm   ·   657 g
Språk Franska  
Redaktör Bjorner, Nikolaj
Redaktör Voronkov, Andrei

Fler produkter med Nikolaj Bjorner

Visa alla

Se alt med Nikolaj Bjorner ( t.ex. Pocketbok )