Artificial Intelligence and Symbolic Computation. Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 4120
von Dongming Wang, Jaques Calmet, Tetsuo Ida
- buch.de-Verkaufsrang:
- ISBN-10:
- 3-540-39728-0
- ISBN-13:
- 978-3-540-39728-1
- Erschienen:
- 09.2006
- Titel voraussichtlich versandfertig innerhalb 3 Wochen.
- Aus der Reihe:
- «Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 4120»
- Einband: kartoniert/broschiert
- Sonstiges:
- XIII, 235 mm
- Seitenzahl:
- 269
- Gewicht:
- 439 g
- Erschienen bei:
- Springer
- Mehr über...
- Mehr über: Intelligenz / Künstliche Intelligenz, Algebra, Knowledge Management, Logikprogrammierung, KI, Künstliche Intelligenz - AI, AI ( Künstliche Intelligenz ), Management / Wissensmanagement, Wissensmanagement, computational geometry, computeralgebra, computational mathematics, automated deduction, algorithmics, constraint processing, computational logics
- Mehr von:
- Mehr von: Dongming Wang, Jaques Calmet, Tetsuo Ida, Springer-Verlag GmbH
Kurzbeschreibung
This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006, held in Beijing, China in September 2006.The 18 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 39 submissions. Based on heuristics and mathematical algorithmics, artificial intelligence and symbolic computation are two views and approaches for automating (mathematical) problem solving. The papers address all current aspects in the area of symbolic computing and AI: mathematical foundations, implementations, and applications in industry and academia. The papers are organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management.
€ 50,24
Empfehlungen:
RHS Die große Pflanzen-Enzyklopädie von A - ZEUR 69,95
- Spiele zur Sprachförderung 1EUR 12,95
- UnsichtbarEUR 20,60
- Girl from MarsEUR 7,00
- Westallgäu 1 : 50 000. Wander- und FreizeitkarteEUR 5,50
- Nirgendwo im Haus meines VatersEUR 21,95
- Cats and Dogs: Mutts II, Band 2EUR 12,40
- Neulich, als ich noch Kind warEUR 9,95
- Poems and Songs, and Lecture on PoetryEUR 15,58
- A Brief History of IrelandEUR 13,92
- Favorite Fairy TalesEUR 16,50
- The New Party: Described by Some of Its Members (1895)EUR 31,44
- The Camp of RefugeEUR 27,18
- Blackboard Bundle: An Introduction to American Legal SystemsEUR 68,86
- Report of Cases Argued and Determined in the Supreme Judiciareport of Cases Argued and Determined in the Supreme Judicial Court of Massachusetts, VoluEUR 35,70
Mehr über:
- Hampp Verlag
- Siegani-Verlag Siegfried Fichtl
- Media Consulta Sport & Entertainment GmbH
- Richmond Verlag
- Vulkan-Verlag, GmbH
- witzige hochzeitskarten
- cheap personalised t-shirt
- Depliant pas cher
- Visitekaartjes goedkope prijs
- letak Liberec
- postales boda
- stampare loghi