Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992

著者

書誌事項

Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992

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

IEEE Computer Society Press, c1992

  • : paper
  • : case
  • : microfiche

タイトル別名

1992 IEEE 7th Annual Symposium on Logic in Computer Science

92CH31278

大学図書館所蔵 件 / 全18件

この図書・雑誌をさがす

注記

Includes bibliographies and index

"IEEE Catalog Number 92CH3127-8"

内容説明・目次

内容説明

The symposium, held in Santa Cruz, Calif., June 1992, heard some 40 papers, selected on the basis of originality, quality, and relevance to computer science, in particular, theoretical and practical issues that relate to logic in a broad sense, including algebraic, categorical, and topological appro

「Nielsen BookData」 より

詳細情報

ページトップへ