Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings

by Egon Börger

This volume contains 24 papers presented at a workshop held in Heidelberg in October 1990. The papers cover a wide range of topics in computer science logic.

• Format: Paperback
• Language: English
• ISBN: 3540544879
• ISBN13: 9783540544876
• Release Date: September 1991
• Publisher: Springer
• Length: 402 Pages
• Weight: 1.28 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"