CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings
E. Börger, H. Kleine Büning, M. M. Richter (eds.)
Bok Engelsk 1988 Workshop on Computer Science Logic
| Utgitt | Berlin : Springer , c1988
|
|---|---|
| Omfang | VI, 346 s. : fig.
|
| Emner | |
| ISBN | 0387502416. - 3540502416
|
