Fortell venner om denne varen:
Artificial Intelligence and Symbolic Computation: 8th International Conference, Aisc 2006 Beijing, China, September 20-22, 2006 Proceedings - Lecture Notes in Computer Science Jaques Calmet
Pris
R$ 311,90
Bestillingsvarer
Forventes levert 15. - 23. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Artificial Intelligence and Symbolic Computation: 8th International Conference, Aisc 2006 Beijing, China, September 20-22, 2006 Proceedings - Lecture Notes in Computer Science
Jaques Calmet
Includes refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006. This book presents 18 revised full papers together with 4 invited papers, organized in topical sections on artificial intelligence and theorem proving, symbolic computation, and constraint satisfaction/solving.
269 pages, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 13. september 2006 |
| ISBN13 | 9783540397281 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 269 |
| Mål | 156 × 234 × 15 mm · 426 g |
| Språk | Tysk |
| Redaktør | Calmet, Jaques |
| Redaktør | Ida, Tetsuo |
| Redaktør | Wang, Dongming |