Pastāsti draugiem par šo preci:
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings - Lecture Notes in Computer Science Bernhard Gramlich
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings - Lecture Notes in Computer Science
Bernhard Gramlich
Constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012.
580 pages, 90 black & white illustrations, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2012. gada 20. jūnijs |
| ISBN13 | 9783642313646 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 568 |
| Izmēri | 155 × 235 × 30 mm · 861 g |
| Valoda | Franču |
| Redaktors | Gramlich, Bernhard |
| Redaktors | Miller, Dale |
| Redaktors | Sattler, Ulrike |