Tallenna
CSL'88
This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. More specifically, the papers deal with problems arising at the border of logic and computer science: e.g.
- Alaotsikko
- 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
- Toimittaja
- Egon Börger, Hans Kleine Büning, Michael M. Richter
- Painos
- 1989 ed.
- ISBN
- 9783540516590
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 6.9.1989
- Sivumäärä
- 404
