Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992

著者

• Symposium on Logic in Computer Science
• IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
• ACM Special Interest Group for Automata and Computability Theory
• Association for Symbolic Logic
• European Association for Theoretical Computer Science

書誌事項

Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, Association for Symbolic Logic, Europe Association for Theoretical Computer Science

IEEE Computer Society Press, c1992

• : paper
• : case
• : microfiche

タイトル別名

1992 IEEE 7th Annual Symposium on Logic in Computer Science

92CH31278

注記

Includes bibliographies and index

"IEEE Catalog Number 92CH3127-8"

詳細情報

• NII書誌ID(NCID): BA18262000
• ISBN:
  • 0818627352
  • 0818627379
  • 0818627360
• LCCN: 91078307
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Los Alamitos, Calif. ; Tokyo
• ページ数/冊数: xiii, 471 p.
• 大きさ: 28 cm
• 分類:
  • LCC : QA75.5
  • DC19 : 005.13/1
• 件名:
  • LCSH : Electronic data processing -- Congresses
  • LCSH : Electronic digital computers -- Programming -- Congresses