Artificial Intelligence and Symbolic Computation: 8th International Conference, Aisc 2006 Beijing, China, September 20-22, 2006 Proceedings - Lecture Notes in Computer Science - Jaques Calmet - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540397281 - 13. september 2006
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Artificial Intelligence and Symbolic Computation: 8th International Conference, Aisc 2006 Beijing, China, September 20-22, 2006 Proceedings - Lecture Notes in Computer Science

Pris
R$ 311,90

Bestillingsvarer

Forventes levert 15. - 23. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller

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

Vis alle

Mer med Jaques Calmet