Artificial Intelligence and Symbolic Computation 1

Data & IT

Artificial Intelligence and Symbolic Computation

Jaques Calmet • Tetsuo Ida • Dongming Wang

Pocket

1009:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

269 sidor
2006

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.

Författare: Jaques Calmet, Tetsuo Ida, Dongming Wang
Format: Pocket/Paperback
ISBN: 9783540397281
Språk: Engelska
Antal sidor: 269
Utgivningsdatum: 2006-09-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K