Artificial intelligence and symbolic computation. 8th international conference ; proceedings.

Calmet, Jacques [Hrsg.].:

ISBN 10: 3540397280 / ISBN 13: 9783540397281

Edité par Springer, Berlin/Heidelberg/New York, 2006

A propos de cet article

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. N° de réf. du vendeur 20594

Détails bibliographiques

Titre : Artificial intelligence and symbolic ...

Éditeur : Springer, Berlin/Heidelberg/New York

Date d'édition : 2006

Reliure : Couverture souple

Etat : Gut

A propos de ce titre

Synopsis :

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.