Proceedings : Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 1986

著者

• 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 : Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 1986

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

IEEE Computer Society Press , Order from IEEE Computer Society, c1986

• pbk.
• microfiche

タイトル別名

Logic in computer science

注記

Includes bibliographies and index

"IEEE Computer Society order number 720."

"IEEE catalog number 86CH2321-8."

詳細情報

• NII書誌ID(NCID): BA04334125
• ISBN:
  • 0818607203
  • 0818687207
  • 0818647205
• LCCN: 86081090
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Washington, D.C.,Los Angeles, CA
• ページ数/冊数: xi, 383 p.
• 大きさ: 28 cm
• 分類:
  • LCC : QA75.5
  • DC19 : 005.13/1
• 件名:
  • LCSH : Electronic data processing -- Congresses
  • LCSH : Electronic digital computers -- Programming -- Congresses
  • LCSH : Logic, Symbolic and mathematical -- Congresses