Artificial Intelligence and Symbolic Computation / Lecture Notes in Computer Science Bd.4120 (PDF)

Name: Artificial Intelligence and Symbolic Computation / Lecture Notes in Computer Science Bd.4120
Brand: Springer-Verlag GmbH
SKU: 101696748
Price: 59.00 CHF
Availability: OnlineOnly

8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings (Sprache: Englisch)

Schreiben Sie einen Kommentar zu "Artificial Intelligence and Symbolic Computation / Lecture Notes in Computer Science Bd.4120".

Merken

Here are the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006.

...

Mehr zum Inhalt Presse-Zitate Video

sofort als Download lieferbar

Bestellnummer: 101696748

eBook (pdf) Fr. 59.00

inkl. MwSt.

Download bestellen

Verschenken

Kreditkarte, Paypal, Rechnung
Kostenloser tolino webreader

Produktdetails

Produktbeschreibung
eBook Hilfe
Biblio. Angaben / Produktdetails
Pressezitat

Produktinformationen zu „Artificial Intelligence and Symbolic Computation / Lecture Notes in Computer Science Bd.4120 (PDF)“

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.

eBook Hilfe

Informationen und Hilfe zu eBooks hier klicken!

Bibliographische Angaben

2006, 2006, 269 Seiten, Englisch
Herausgegeben: Jaques Calmet, Tetsuo Ida, Dongming Wang
Verlag: Springer-Verlag GmbH
ISBN-10: 3540397302
ISBN-13: 9783540397304
Erscheinungsdatum: 21.09.2006

Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.

eBook Informationen

Dateiformat: PDF
Grösse: 3.22 MB
Ohne Kopierschutz
Vorlesefunktion

Sprache:

Englisch

Pressezitat

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.)

Kommentar zu "Artificial Intelligence and Symbolic Computation / Lecture Notes in Computer Science Bd.4120"

Schreiben Sie einen Kommentar zu "Artificial Intelligence and Symbolic Computation / Lecture Notes in Computer Science Bd.4120".

0 Gebrauchte Artikel zu „Artificial Intelligence and Symbolic Computation / Lecture Notes in Computer Science Bd.4120“

Zustand	Preis	Porto	Zahlung	Verkäufer	Rating