Product Description
ISBN: 9783540665366
TITLE: Computer Science Logic : 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings : 1683
AUTHOR: Joerg Flum
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 8 Sep 1999