Artificial Intelligence, Automated Reasoning, and Symbolic Computation
- PDF / 4,454,054 Bytes
- 355 Pages / 429.976 x 650.005 pts Page_size
- 115 Downloads / 245 Views
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
2385
3
Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo
Jacques Calmet Belaid Benhamou Olga Caprotti Laurent Henocque Volker Sorge (Eds.)
Artificial Intelligence, Automated Reasoning, and Symbolic Computation Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings
13
Volume Editors Jacques Calmet University of Karlsruhe (TH) Am Fasanengarten 5, Postfach 6980, D-76128 Karlsruhe, Germany E-mail: [email protected] Belaid Benhamou Universit´e de Provence, CMI 39 rue F. Juliot-Curie, 13453 Marseille Cedex 13, France E-mail: [email protected] Olga Caprotti Johannes Kepler University Research Institute for Symbolic Computation (RISC-Linz) A-4040 Linz, Austria E-mail: [email protected] Laurent Henocque Universit´e de la M´editerann´ee, ESIL 163 Avenue de Luminy, Marseille Cedex 09, France E-mail: [email protected] Volker Sorge University of Birmingham, School of Computer Science Birmingham B15 2TT, United Kingdom E-mail: [email protected]
Cataloging-in-Publication Data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences ; proceedings / AISC 2002 and Calculemus 2002, Marseille, France, July 1 -5, 2002. Jacques Calmet ... (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Tokyo : Springer, 2002 (Lecture notes in computer science ; Vol. 2385 : Lecture notes in artificial intelligence) ISBN 3-540-43865-3
CR Subject Classification (1998): I.2.1-4, I.1, G.1-2, F.4.1 ISSN 0302-9743 ISBN 3-540-43865-3 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law.
Springer-Verlag Berlin Heidelberg New York a member of BertelsmannSpringer Science+Business Media GmbH http://www.springer.de © Springer-Verlag Berlin Heidelberg 2002 Printed in Germany Typesetting: Camera-ready by author, data conversion by PTP-Berlin, Stefan Sossna Printed on acid-free paper SPIN 10870512 06/3142 543210
Preface
AISC 2002, the 6th international conference on Artificial Intelligence and Symbolic Computation, and Calculemus 2002, the 10th symposium on the Integration of Symbolic Computation and Mechanized Reasoning, were held jointly in Marseille, France on July 1–5, 2002. This event was organized by the three universities in Marseil
Data Loading...
