Proceedings of the sixth IBM Symposium on Mathematical Foundations of Computer Science, logic aspect of programs, May 25-27, 1981, at Hakone Yama no Hotel

Author(s)

• IBM Symposium on Mathematical Foundations of Computer Science
• IBM Japan. Corporate & Scientific Programs

Bibliographic Information

Proceedings of the sixth IBM Symposium on Mathematical Foundations of Computer Science, logic aspect of programs, May 25-27, 1981, at Hakone Yama no Hotel

Corporate & Scientific Programs, IBM Japan, [1981?]

Other Title

Logic aspect of programs

Note

Pagination differs

Chairperson: Hitotumatu, S

Includes bibliographical references

Details

• NCID: BA9022312X
• Country Code: ja
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Tokyo
• Pages/Volumes: 1 v. (various pagings)
• Size: 31 cm
• Classification:
  • LCC : QA76
• Subject Headings:
  • LCSH : Machine theory -- Congresses
  • LCSH : Electronic digital computers -- Programming -- Congresses
  • LCSH : Electronic data processing -- Congresses