Siirry suoraan sisältöön
CSL '89
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
Painos
1990 ed.
ISBN
9783540527534
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
10.7.1990
Sivumäärä
444