Computer Science Logic
Subtitle: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
Publisher: Springer London, Limited
Published: 2007
Language: eng
ISBN-13: 9783540749158
Subjects: Logic, symbolic and mathematical