Spar
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.
- Undertittel
- 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
- Opplag
- 1990 ed.
- ISBN
- 9783540527534
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 10.7.1990
- Antall sider
- 444
