CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings

Bibliographic Information

CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings

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

(Lecture notes in computer science, 440)

Springer-Verlag, c1990

  • : gw
  • : us

Available at  / 59 libraries

Search this Book/Journal

Note

Includes bibliographical references

Related Books: 1-1 of 1

Details

Page Top