عنوان
پدید آورنده
موضوع
رده
QA 76 .6 .W6 1987
QA
76
.
6
.
W6
1987
کتابخانه
محل استقرار
87509
آخر۲۷
)20(
CSL'87 lst workshop on computer science logic
Berlin: New York
Springer Verlag
1988
vi, 346p.: ill.
Lecture notes in computer science; 923
Includes bibliographies
، Electronic digital computers-- Design and construction-- Congresses
، Logic design-- Computer programming-- Congresses
QA
76
.
6
.
W6
1987
AU
]edited by[ E. Borger, H. Kleine Buning, M. M. Richter
AU .E ,regroB ed
AU H enielK gninuB ed
AU .M .M ,rethciR ed
TI CSL87
SE
Workshop on computer science logic )1st: 1987: Karlsruhe(
02
