Computer science logic: 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
Computer science logic: 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
- Berlin: Springer-Verlag, 1992
- 428p.
3-540-55789-X
Information technology
Logic in computer applications
D 681.3(082.2)(042.3) / N2
3-540-55789-X
Information technology
Logic in computer applications
D 681.3(082.2)(042.3) / N2