Product Description
ISBN: 9783540749141
TITLE: Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings : 4646
AUTHOR: Jacques Duparc
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 30 Aug 2007