Tallenna
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.
- Alaotsikko
- 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
- Toimittaja
- Egon Börger, Hans Kleine Büning, Michael M. Richter
- Painos
- 1990 ed.
- ISBN
- 9783540527534
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 10.7.1990
- Sivumäärä
- 444
