Häftad, Engelska, 2006
Artificial Intelligence and Symbolic Computation
8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
Av Jaques Calmet, Tetsuo Ida, Dongming Wang
Del i serien Lecture Notes in Computer Science
561 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
Produktinformation
- Utgivningsdatum: 2006-09-13
- Mått: 155 x 235 x 16 mm
- Vikt: 441 g
- Format: Häftad
- Språk: Engelska
- Serie: Lecture Notes in Computer Science
- Antal sidor: 269
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783540397281
Utforska kategorier
Recensioner i media
Aus den Rezensionen: "... Zu diesem Buch beigetragen haben angewandte und theoretische Informatiker und Mathematiker ... Der Einstieg in diesen Tagungsband wird durch eine grobe Einteilung der einzelnen Arbeiten in die Bereiche Artificial Intelligence and Theorem Proving, Symbolic Computation, Constraint Satisfaction/Solving und Mathematical Knowledge Management erleichtert. ... Aus Sicht eines Computeralgebraikers bietet dieses Buch einen vielfaltigen Einblick in Arbeiten, in denen sich die Computeralgebra im Rahmen der kunstlichen Intelligenz mal mehr, mal weniger direkt wiederfinden lasst ..." (Moritz Minzlaff, Computeralgebra-Rundbrief, Marz 2009, Issue 44, S. 23 f.)
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.