Jörg Flum,Mario Rodriguez-Artalejo: Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings

Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings



____________________________
Author: Jörg Flum,Mario Rodriguez-Artalejo
Number of Pages: 588 pages
Published Date: 01 Nov 1999
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: English
ISBN: 9783540665366
Download Link: Click Here
____________________________