Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings

Author(s)

• International Symposium on Logical Foundations of Computer Science
• Meyer, Albert R.
• Taitslin, M. A. (Michael A.)

Bibliographic Information

Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings

A.R. Meyer, M.A. Taitslin (eds.)

（Lecture notes in computer science, 363）

Springer-Verlag, c1989

• : gw
• : us

Note

Includes bibliographical references

Details

• NCID: BA06995139
• ISBN:
  • 3540512373
  • 0387512373
• LCCN: 89011393
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; Tokyo
• Pages/Volumes: x, 289 p.
• Size: 25 cm
• Classification:
  • LCC : QA75.5
  • DC20 : 004/.01/5113
• Subject Headings:
  • LCSH : Computers -- Congresses
  • LCSH : Electronic data processing -- Congresses
  • LCSH : Logic, Symbolic and mathematical -- Congresses
• Parent Bibliography ID:
  • BA00009279