Siirry suoraan sisältöön
Computer Science Logic
Tallenna

Computer Science Logic

This text contains 26 revised papers from an international workshop on computer science logic. The papers address all aspects of computer science logics and its applications.
Alaotsikko
11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
Painos
1998 ed.
ISBN
9783540645702
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
20.5.1998
Sivumäärä
520