عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.702
QA
76
.
L28
Vol
.
702
کتابخانه
محل استقرار
Computer science logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
6th: 1992: San Miniato, Italy
Berlin
Springer-Verlag
c1993
viii, 439p.: ill., tables
Lecture notes in computer science; 207
Includes bibliographies
ISBN: 3540569928
E. Brger...]et al.[, eds
1
Congresses ، Computer science
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
702
AU
AU Borger, Egon, 1946-
TI
SE
Workshop on Computer Science Logic
