Gå direkte til innholdet
CSL'88
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
Opplag
1989 ed.
ISBN
9783540516590
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
6.9.1989
Antall sider
404