عنوان

Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

98553

آخر۲۷

English

)20(

Workshop on Computer Science Logic, )4th, 0991, Heidelberg, Germany(

Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

Berlin, New York

Springer-Verlag

1991

viii, 399 p.: ill. ; 25 cm

Lecture notes in computer science, 335

A selection of papers presented at the workshop CSL'90 which was held at the Max-Planck-Haus in Heidelberg, Germany from October 1-5, 1990

Includes bibliographical references

، Computer science - Congresses

، Logic, Symbolic and mathematical - Congresses

W624

1990

E. Borger ... )et al.(, eds

AU regroB 1946-