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 - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642287169 - perjantai 24. helmikuuta 2012
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
₺ 3.072,30

Tilattu etävarastosta

Arvioitu toimitus ti - to 16. - 25. joulu
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä perjantai 24. helmikuuta 2012
ISBN13 9783642287169
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 446
Mitta 155 × 235 × 23 mm   ·   657 g
Kieli Ranska  
Toimittaja Bjorner, Nikolaj
Toimittaja Voronkov, Andrei

Näytä kaikki

Lisää tuotteita Nikolaj Bjorner