Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings

Author(s)

• International Symposium on Logical Foundations of Computer Science
• Nerode, Anil
• Taitslin, M. A. (Michael A.)

Bibliographic Information

Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings

A. Nerode, M. Taitslin (eds.)

（Lecture notes in computer science, 620）

Springer-Verlag, c1992

• : gw
• : us

Note

Includes bibliographical references

Details

• NCID: BA17203458
• ISBN:
  • 3540557075
  • 0387557075
• LCCN: 92018642
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: ix, 514 p.
• Size: 25 cm
• Classification:
  • LCC : QA75.5
  • DC20 : 004
• Subject Headings:
  • LCSH : Computers -- Congresses
  • LCSH : Electronic data processing -- Congresses
  • LCSH : Logic, Symbolic and mathematical -- Congresses
• Parent Bibliography ID:
  • BA00009279