Proceedings, thirteenth Annual IEEE Symposium on Logic in Computer Science, June 21-24, 1998, Indianapolis, Indiana

著者

• Symposium on Logic in Computer Science
• IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
• Indiana University
• European Association for Theoretical Computer Science

書誌事項

Proceedings, thirteenth Annual IEEE Symposium on Logic in Computer Science, June 21-24, 1998, Indianapolis, Indiana

organized by Indiana University, Bloomington ; sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from College of Arts and Sciences, Indiana University, Bloomington ... [et. al]

IEEE Computer Society, c1998

• : softbound
• : casebound

タイトル別名

Proceedings, thirteenth Annual IEEE Symposium on Logic in Computer Science

98CB36226

注記

IEEE order plan catalog no. 98CB36226

内容説明・目次

内容説明

This text covers the 13th Symposium on Logic in Computer Science held in 1998. The symposium covered topics in computational mathemetics and complexity theory. Contents include: finite model theory; verification; logics; concurrency; category theory; and theorem proving and rewriting.

「Nielsen BookData」 より

詳細情報

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