Computer Science Logic
Subtitle: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540448020