CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings

Bibliographic Information

CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings

E. Börger, H. Kleine Büning, M.M. Richter (eds.)

(Lecture notes in computer science, 385)

Springer-Verlag, c1989

  • : gw
  • : us

Available at  / 57 libraries

Search this Book/Journal

Note

Includes bibliographical references

Related Books: 1-1 of 1

Details

Page Top