Proceedings [of the] 11th Annual IEEE Symposium on Logic in Computer Science, July 27-30, 1996, New Brunswick, New Jersey

著者

• 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] 11th Annual IEEE Symposium on Logic in Computer Science, July 27-30, 1996, New Brunswick, New Jersey

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM Special Interest Group on Automata and Computability Theory, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from AT & T Research Bell Laboratories - Lucent Technologies DIMACS, IBM Almaden Research Center

IEEE Computer Society Press, c1996

• : soft
• : case
• : microfiche

タイトル別名

1996 IEEE 11th Annual Symposium on Logic in Computer Science

96CB35952

LICS'96

注記

Includes bibliographies and index

"IEEE Catalog Number 96CH35952"

詳細情報

• NII書誌ID(NCID): BA28891104
• ISBN:
  • 0818674636
  • 0780336542
  • 0780336550
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Los Alamitos, Calif. ; Tokyo
• ページ数/冊数: xv, 535 p.
• 大きさ: 28 cm