Product Description
ISBN: 9783540677970
TITLE: Computational Logic - CL 2000 : First International Conference London, UK, July 24-28, 2000 Proceedings : 1861
AUTHOR: John Lloyd
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 17 Jul 2000

