Studiebog

Artificial Intelligence and Symbolic Computation

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

Forfatter: info mangler

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
Lecture Notes in Computer Science

Normalpris: kr. 419,95

Medlemspris: kr. 399,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: 2-3 uger (Sendes fra fjernlager)
Forventet levering: 05-12-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

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.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal269
Udgivelsesdato13-09-2006
ISBN139783540397281
Forlag Springer-verlag Berlin And Heidelberg Gmbh & Co. K
FormatPaperback

Størrelse og vægt

10 cm

15,5 cm

23,5 cm

Artificial Intelligence and Symbolic Computation

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

Findes i disse kategorier...

Se andre, der handler om...