Verwandte Artikel zu Artificial Intelligence and Symbolic Computation: 8th...

Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings: 4120 (Lecture Notes in Artificial Intelligence) - Softcover

Ida, Tetsuo; Wang, Dongming; Calmet, Jaques

 
9783540397281: Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings: 4120 (Lecture Notes in Artificial Intelligence)
Softcover
ISBN 10: 3540397280 ISBN 13: 9783540397281
Verlag: Springer, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Críticas

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 vielfältigen Einblick in Arbeiten, in denen sich die Computeralgebra im Rahmen der künstlichen Intelligenz mal mehr, mal weniger direkt wiederfinden lässt ..." (Moritz Minzlaff, Computeralgebra-Rundbrief, März 2009, Issue 44, S. 23 f.)

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagSpringer
  • Erscheinungsdatum2008
  • ISBN 10 3540397280
  • ISBN 13 9783540397281
  • EinbandTapa blanda
  • SpracheEnglisch
  • Anzahl der Seiten288
  • Kontakt zum HerstellerNicht verfügbar

Gebraucht kaufen

Zustand: Gut
XIII, 268 S., graph. Darst. Einband...
Diesen Artikel anzeigen
9783540397281: Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings: 4120 (Lecture Notes in Artificial Intelligence)
EUR 22,00

Währung umrechnen

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Neu kaufen

Diesen Artikel anzeigen
9783540397281: Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings: 4120 (Lecture Notes in Artificial Intelligence)
EUR 48,37

Währung umrechnen

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Suchergebnisse für Artificial Intelligence and Symbolic Computation: 8th...

Foto des Verkäufers

Calmet, Jacques [Hrsg.].:
ISBN 10: 3540397280 ISBN 13: 9783540397281
Gebraucht Softcover

Anbieter: avelibro OHG, Dinkelscherben, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Gut. XIII, 268 S., graph. Darst. Einband mit leichten Druckstellen. Kl. handschriftlicher Namenseintrag a. d. Vorsatz. Untere rechte Ecke leicht bestoßen, sonst tadellos erhalten. Lecture notes in computer science ; Vol. 4120 : Lecture notes in artificial intelligence. From the contents; Vorwort. Invited Presentations; Algebra and Geometry - Ineraction Between "Equations" and "Shapes"; Contributed Papers Artificial Intelligence and Theorem Proving; Symbolic Computation; Constraint Satisfaction/Solving; Mathematical Knowledge Management. Innen tadellos erhalten. deu B12-01-05B|GH52|8465DB Sprache: Deutsch Gewicht in Gramm: 444 24 cm. Original Broschur. Untere Ecke etwas bestoßen. Bestandsnummer des Verkäufers 20594

Verkäufer kontaktieren

Gebraucht kaufen

EUR 22,00
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Calmet, Jaques|Ida, Tetsuo|Wang, Dongming
ISBN 10: 3540397280 ISBN 13: 9783540397281
Neu Kartoniert / Broschiert
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006Presents 18 revised full papers together with 4 invited papersAddresses all current aspects in the area of symbolic computing and . Bestandsnummer des Verkäufers 4888569

Verkäufer kontaktieren

Neu kaufen

EUR 48,37
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Jaques Calmet
ISBN 10: 3540397280 ISBN 13: 9783540397281
Neu Taschenbuch

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Neuware -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. 288 pp. Englisch. Bestandsnummer des Verkäufers 9783540397281

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Jaques Calmet
ISBN 10: 3540397280 ISBN 13: 9783540397281
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Bestandsnummer des Verkäufers 9783540397281

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Jaques Calmet
ISBN 10: 3540397280 ISBN 13: 9783540397281
Neu Taschenbuch
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 288 pp. Englisch. Bestandsnummer des Verkäufers 9783540397281

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

0
Verlag: Springer, 2006
ISBN 10: 3540397280 ISBN 13: 9783540397281
Neu Softcover

Anbieter: Basi6 International, Irving, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-267207

Verkäufer kontaktieren

Neu kaufen

EUR 55,58
Währung umrechnen
Versand: Gratis
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Ida, Tetsuo; Wang, Dongming; Calmet, Jaques
Verlag: Springer, 2006
ISBN 10: 3540397280 ISBN 13: 9783540397281
Neu Softcover

Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Bestandsnummer des Verkäufers ABNR-82757

Verkäufer kontaktieren

Neu kaufen

EUR 55,58
Währung umrechnen
Versand: Gratis
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Calmet Jaques Wang Dongming Ida Tetsuo
Verlag: Springer, 2006
ISBN 10: 3540397280 ISBN 13: 9783540397281
Neu Softcover

Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. pp. 288. Bestandsnummer des Verkäufers 18302636

Verkäufer kontaktieren

Neu kaufen

EUR 64,19
Währung umrechnen
Versand: EUR 2,30
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Ida, Tetsuo; Wang, Dongming; Calmet, Jaques
Verlag: Springer, 2006
ISBN 10: 3540397280 ISBN 13: 9783540397281
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Bestandsnummer des Verkäufers ria9783540397281_new

Verkäufer kontaktieren

Neu kaufen

EUR 61,27
Währung umrechnen
Versand: EUR 5,83
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Ida, Tetsuo; Wang, Dongming; Calmet, Jaques
Verlag: Springer, 2006
ISBN 10: 3540397280 ISBN 13: 9783540397281
Neu Softcover

Anbieter: Books Puddle, New York, NY, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. pp. 288. Bestandsnummer des Verkäufers 26302630

Verkäufer kontaktieren

Neu kaufen

EUR 61,51
Währung umrechnen
Versand: EUR 7,82
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Es gibt 9 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen