Spara
CSL '89
This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. More specifically, the papers deal with problems arising at the border of logic and computer science, e.g.
- Undertitel
- 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
- Redaktör
- Egon Börger, Hans Kleine Büning, Michael M. Richter
- Upplaga
- 1990 ed.
- ISBN
- 9783540527534
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 1990-07-10
- Sidor
- 444
