عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.329
QA
76
.
L28
Vol
.
329
کتابخانه
محل استقرار
CSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe FRG, October 12-16, 1987 : Proceedings
1st: 1987: Karlsruhe, Germany
Berlin
Springer-Verlag
c1988
vi, 346p.: ill
Lecture notes in computer science; 923
Includes bibliographies
ISBN: 3540502416
E. Borger, H. Kleine Buning, M.M. Richter )eds.(
1
Congresses ، Computers
Congresses ، Electronic data processing
Congresses ، Logic, Symbolic and mathematical
، Computer science -- Mathematics
QA
76
.
L28
Vol
.
329
AU
AU Borger, Egon, 1946-
AU Kleine Buning, Hans
AU Richter, Michael M., 1938-
TI
TI Computer science logic
SE
Workshop on Computer Science Logic
