Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Artificial Intelligence and Symbolic Computation

8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
BuchKartoniert, Paperback
CHF71.00

Beschreibung

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.
Weitere Beschreibungen

Details

ISBN/GTIN978-3-540-39728-1
ProduktartBuch
EinbandKartoniert, Paperback
Erscheinungsdatum13.09.2006
Auflage2006
ReiheLecture Notes in Artificial Intelligence
Reihen-Nr.4120
Seiten288 Seiten
SpracheEnglisch
MasseBreite 155 mm, Höhe 235 mm, Dicke 16 mm
Gewicht441 g
Artikel-Nr.2679276
Verlagsartikel-Nr.11856290
KatalogBuchzentrum
Datenquelle-Nr.2516510
Weitere Details

Reihe

Autor

Schlagworte