Proceedings of the sixth IBM Symposium on Mathematical Foundations of Computer Science : logic aspect of programs

著者

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

書誌事項

Proceedings of the sixth IBM Symposium on Mathematical Foundations of Computer Science : logic aspect of programs

Corporate & scientific programs, IBM Japan, May 25-27, 1981, at Hakone Yama no Hotel

Corporate & Scientific Programs IBM Japan, [1981]

注記

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BA0355939X
• 出版国コード: ja
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Tokyo
• ページ数/冊数: 431 p.
• 大きさ: 31 cm
• 分類:
  • LCC : QA76
• 件名:
  • LCSH : Computer science literature