Spara
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.
- Undertitel
- 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
- Upplaga
- 1989 ed.
- ISBN
- 9783540516590
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 1989-09-06
- Sidor
- 404
