Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings

Bibliographic Information

Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings

A. Nerode, Yu. V. Matiyasevich (eds.)

(Lecture notes in computer science, 813)

Springer-Verlag, c1994

  • : us
  • : gw

Available at  / 62 libraries

Search this Book/Journal

Note

Includes bibliographical references

Related Books: 1-1 of 1

Details

Page Top