Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

Publication Data

• Title Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
• Contributor Laurent Fribourg
• Publisher Springer
• Publication date 2001
• Publication location London
• Language English

Topics

• Computer logic :: Congresses

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings. ISBN 3540425543. Published by Springer in 2001. Publication and catalogue information, links to buy online and reader comments.