عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.385
QA
76
.
L28
Vol
.
385
کتابخانه
محل استقرار
CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings
2nd: 1988: Duisburg, FRG
Berlin
Springer-Verlag
c1989
vi, 399p.: ill
Lecture notes in computer science; 583
Includes bibliographies
ISBN: 354051659X
E. Borger, H. Kleine Buning, M.M. Richter )eds.(
1
Congresses ، Computer science -- Mathematics
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
385
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
