Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings

Clote, Peter G.; Schwichtenberg, Helmut

Details

Published by: Springer

Publication Date: 2000-08-09

Format: Paperback

ISBN-13: 9783540678953

DOI: 10.1007/3-540-44622-2

Dimensions: 235.0cm x155.0cm

Pages: 550.0