Computer science logic : 10th international workshop, CSL'96 : annual conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Dirk van Dalen, Marc Bezem (eds.)
Bok Engelsk 1997 Workshop on Computer Science Logic
Utgitt | Berlin : Springer , c1997
|
---|---|
Omfang | VIII, 471 s. : ill.
|
Emner | |
ISBN | 3540631720
|