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
|
