Proceedings : Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, the Netherlands

著者

• Symposium on Logic in Computer Science
• IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
• Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands)
• Vrije Universiteit te Amsterdam
• Association for Computing Machinery
• Association for Symbolic Logic
• European Association for Theoretical Computer Science

書誌事項

Proceedings : Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, the Netherlands

sponsored by IEEE Technical Committee on Mathematical Foundations of Computing, CWI, Amsterdam, Vrije Universiteit, Amsterdam ; in cooperation with Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science

IEEE Computer Society Press, c1991

• : paper
• : case
• : microfiche

タイトル別名

1991 IEEE 6th Annual Symposium on Logic in Computer Science

91CH30254

注記

Includes bibliographies and index

"IEEE Catalog Number 91CH3025-4."

詳細情報

• NII書誌ID(NCID): BA1313733X
• ISBN:
  • 081862230X
  • 0818622326
  • 0818622318
• LCCN: 89641304
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Los Alamitos, CA. ; Tokyo
• ページ数/冊数: xvii, 417 p.
• 大きさ: 28 cm
• 分類:
  • LCC : QA75.5
  • DC19 : 005.13/1
• 件名:
  • LCSH : Electronic data processing -- Congresses
  • LCSH : Electronic digital computers -- Programming -- Congresses