Kniha Artificial Intelligence and Symbolic Computation Jaques Calmet

Artificial Intelligence and Symbolic Computation

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

Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
49.99
Here are the refereed proceedings of the 8th International Conference on Artificial Intelligence and...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2006
Stránok
269
EAN
9783540397281
ISBN
3540397280
Enbook ID
01562600
Vydavateľ
Hmotnosť
408
Rozmery
155 x 235 x 15

Kompletný popis

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.

Mohlo by vás zaujímať

34.33
19.56

Mounting Rareness

James A. Way
8.70

Wilderness

Jim Morrison
13.00

Rehoboth, Swansea, and Dighton

Charles Turek Robinson
18.97

Coastal Engineering Manual Part VI

U. S. Army Corps of Engineers
86.09
196.16
20.83

In The Track of The Troops

Robert Michael Ballantyne
9.48
11.83

Virtuous Cyborg

Chris Bateman
13.49
16.53
19.66
46.56
49.99
76.21
40.10

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

12.38

Pasca

Arne Dahl
17.25

Partitions

di Manno
24.74

Corporate Development

Bertram Melzig-Thiel
31.89

Hydrogeographie

Heiko Lindner
13.98
50.30