Proceedings : Symposium on Logic in Computer Science, LICS '94, CNAM, Paris, France, July 4-7, 1994

著者

• Symposium on Logic in Computer Science
• IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
• Institut national de recherche en informatique et en automatique (France)

書誌事項

Proceedings : Symposium on Logic in Computer Science, LICS '94, CNAM, Paris, France, July 4-7, 1994

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, INRIA

IEEE Computer Society Press, c1994

• : paper
• : microfiche
• : case

タイトル別名

94CH34645

注記

Includes bibliographies and index

"IEEE Catalog Number 94CH3464-5"--T.p. verso

詳細情報

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