Spar
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.
- Undertittel
- 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
- Redaktør
- Egon Börger, Hans Kleine Büning, Michael M. Richter
- Opplag
- 1989 ed.
- ISBN
- 9783540516590
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 6.9.1989
- Antall sider
- 404
