Computer Science Logic: 6th Workshop, Csl'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers

by Egon Börger, Gerhard Jäger, Hans Kleine Büning

This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540569928
• ISBN13: 9783540569923
• Release Date: August 1993
• Publisher: Springer
• Length: 439 Pages
• Weight: 1.41 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"