Lecture Notes in Computer Science: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings

Calmet, Jacques; Benhamou, Belaid; Caprotti, Olga; Henocque, Laurent; Sorge, Volker

Details

Published by: Springer

Publication Date: 2002-06-19

Format: Paperback

ISBN-13: 9783540438656

DOI: 10.1007/3-540-45470-5

Dimensions: 235cm x155cm

Pages: 350