Artificial Intelligence, Automated Reasoning, and Symbolic Computation / Lecture Notes in Computer Science Bd.2385 (PDF)
Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the joint International Conferences on Artificial Intelligence and Symbolic Computation, AISC 2002, and Calculemus 2002 held in Marseille, France, in July 2002.The 24 revised full papers presented together...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Artificial Intelligence, Automated Reasoning, and Symbolic Computation / Lecture Notes in Computer Science Bd.2385 (PDF)“
This book constitutes the refereed proceedings of the joint International Conferences on Artificial Intelligence and Symbolic Computation, AISC 2002, and Calculemus 2002 held in Marseille, France, in July 2002.The 24 revised full papers presented together with 2 system descriptions were carefully reviewed and selected from 52 submissions. Among the topics covered are automated theorem proving, logical reasoning, mathematical modeling, algebraic computations, computational mathematics, and applications in engineering and industrial practice.
Bibliographische Angaben
- 2003, 2002, 350 Seiten, Englisch
- Herausgegeben: Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540454705
- ISBN-13: 9783540454700
- Erscheinungsdatum: 02.08.2003
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 4.14 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Artificial Intelligence, Automated Reasoning, and Symbolic Computation / Lecture Notes in Computer Science Bd.2385"
0 Gebrauchte Artikel zu „Artificial Intelligence, Automated Reasoning, and Symbolic Computation / Lecture Notes in Computer Science Bd.2385“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Artificial Intelligence, Automated Reasoning, and Symbolic Computation / Lecture Notes in Computer Science Bd.2385".
Kommentar verfassen