عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .M35 .W67 1988
QA
76
.
9
.
M35
.
W67
1988
کتابخانه
محل استقرار
89646
آخر۲۷
English
)20(
CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings
Berlin; New York
Springer-Verlag
1989
vi, 399 p.: ill.; 25 cm
Lecture notes in computer science
385
Includes bibliographical references
Mathematics Congresses ، Computer science
Congresses ، Logic, Symbolic and mathematical
QA
76
.
9
.
M35
.
W67
1988
AU
E. Borger, H. Kleine Buning, M.M. Richter )eds.(
AU (nogE).E ,regroB 1946-
AU (snaH).H ,gninuB enielK
AU M leahciM ,rethciR 1938-
TI
SE
Workshop on Computer Science Logic )2nd: 1988: Duisburg, Germany(
02
