Overview
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.
- | Author: Egon Börger
- | Publisher: Springer
- | Publication Date: Sep 11, 1991
- | Number of Pages: 402 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3540544879
- | ISBN-13: 9783540544876