Artificial Intelligence and Symbolic Computation

Name: Artificial Intelligence and Symbolic Computation
Brand: Springer, Berlin
SKU: 9783540397281
Price: 19173 HUF
Availability: InStock

8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings

Szerző: Jaques Calmet, Tetsuo Ida, Dongming Wang

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 173 Ft

Here are the refereed proceedings of the 8th International Conference on Artificial Intelligence and...

Információk a könyvről

Szerző

Jaques Calmet, Tetsuo Ida, Dongming Wang

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2006

oldal

269

EAN

9783540397281

ISBN

3540397280

Enbook ID

01562600

Kiadó

Springer, Berlin

Súly

408

Méretek

155 x 235 x 15

Teljes leírás

Here are the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006.§The book presents 18 revised full papers together with 4 invited papers, organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management. Coverage includes mathematical foundations, implementations, and applications in industry and academia.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Artificial Intelligence and Symbolic Computation

8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták