文档介绍：Lecture Notes in Artificial Intelligence 2385
Subseries of Lecture Notes puter Science
Edited by J. G. Carbonell, and J. Siekmann
Lecture Notes puter Science
Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
1
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 putation
Joint International Conferences
AISC 2002 and Calculemus 2002
Marseille, France, July 1-5, 2002
Proceedings
11
Volume Editors
Jacques Calmet
University of Karlsruhe (TH)
Am Fasanengarten 5, Postfach 6980, D-76128 Karlsruhe, Germany
E-mail: ******@
Belaid Benhamou
Universit´e de Provence, CMI
39 rue F. Juliot-Curie, 13453 Marseille Cedex 13, France
E-mail: Belaid.******@-
Olga Caprotti
Johannes Kepler University
Research Institute for putation (RISC-Linz)
A-4040 Linz, Austria
E-mail: ******@-
Laurent Henocque
Universit´edelaM´editerann´ee, ESIL
163 Avenue de Luminy, Marseille Cedex 09, France
E-mail: ******@-
Volker Sorge
University of Birmingham, School puter Science
Birmingham B15 2TT, United Kingdom
E-mail: V.******@
Cataloging-in-Publication Data applied for
Die Deutsche Bibliothek - CIP-Einheitsaufnahme
Artificial intelligence, automated reasoning, and putation :
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 puter science ; Vol. 2385 : Lecture notes in
artificial intelligence)
ISBN 3-540-43865-3
CR Subject Classification (1998): -4, , -2,
ISSN 0302-9743
ISBN 3-540-43865-3 Springer-Verlag Berlin Heidelberg New York
This work is subject to copyright. All rights are