Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, June 29-July 2, 1997, Warsaw, Poland : paper

• 資料種別: 図書
• ISBN: 0818679255; 0818679263; 0818679271
• タイトル: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, June 29-July 2, 1997, Warsaw, Poland
• 巻次・部編番号: : paper; : case; : microfiche
• 著者・編者: organized by Warsaw University ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with The Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from BRICS, University of Aarhus ... [et. al]
• 著者標目: Symposium on Logic in Computer Science; https://ci.nii.ac.jp/author/DA01987694; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing; https://ci.nii.ac.jp/author/DA01037742; Uniwersytet Warszawski; https://ci.nii.ac.jp/author/DA0356653X; Association for Computing Machinery. Special Interest Committee for Automation and Computability; https://ci.nii.ac.jp/author/DA0018332X; Association for Symbolic Logic; https://ci.nii.ac.jp/author/DA01977227; European Association for Theoretical Computer Science; https://ci.nii.ac.jp/author/DA00338459
• 出版事項: IEEE Computer Society Press
• 出版年月日等: c1997
• 出版年（W3CDTF）: 1997
• 大きさ: 28 cm
• 並列タイトル等: 1997 IEEE 12th Annual Symposium on Logic in Computer Science; LICS'97; 97CB36092
• 出版地（国名コード）: us
• 本文の言語コード: en
• 件名標目: Electronic data processing -- Congresses; Electronic digital computers -- Programming -- Congresses
• 対象利用者: 一般
• 一般注記: Includes bibliographies and index; "IEEE Catalog Number 97CB36092"
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA31761504#entity
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA31761504 : BA31761504