Gå direkte til innholdet
Computer Science Logic
Spar

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.
Undertittel
11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
Opplag
1998 ed.
ISBN
9783540645702
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
20.5.1998
Antall sider
520