CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
E. Börger, H. Kleine Büning, M. M. Richter (eds.)
Bok Engelsk 1989 Workshop on Computer Science Logic
| Utgitt | Berlin : Springer , c1989
|
|---|---|
| Omfang | vi, 399 s.
|
| Emner | |
| ISBN | 038751659X. - 354051659X
|
