Vertel uw vrienden over dit artikel:
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
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
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 24 februari 2012 |
| ISBN13 | 9783642287169 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 446 |
| Afmetingen | 155 × 235 × 23 mm · 657 g |
| Taal en grammatica | Frans |
| Uitgever | Bjorner, Nikolaj |
| Uitgever | Voronkov, Andrei |
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld