Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings

By Egon Börger

This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 354055789X
• ISBN13: 9783540557890
• Release Date: September 1992
• Publisher: Springer
• Length: 431 Pages
• Weight: 1.36 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"