عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .M35 .W67 1989
QA
76
.
9
.
M35
.
W67
1989
کتابخانه
محل استقرار
91983
آخر۲۷
English
)20(
CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
Berlin; New York
Springer-Verlag
1990
vi, 437 p.; 24 cm
Lecture notes in computer science
440
Includes bibliographical references
Mathematics Congresses ، Computer science
Congresses ، Logic, Symbolic and mathematical
QA
76
.
9
.
M35
.
W67
1989
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)3rd: 1989: Kaiserslautern, Germany(
02
