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

Author(s)

• Symposium on Logic in Computer Science
• IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
• Uniwersytet Warszawski
• Association for Computing Machinery. Special Interest Committee for Automation and Computability
• Association for Symbolic Logic
• European Association for Theoretical Computer Science

Bibliographic Information

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

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]

IEEE Computer Society Press, c1997

• : paper
• : case
• : microfiche

Other Title

1997 IEEE 12th Annual Symposium on Logic in Computer Science

LICS'97

97CB36092

Note

Includes bibliographies and index

"IEEE Catalog Number 97CB36092"

Description and Table of Contents

Description

This text covers the 12th Symposium on Logic in Computer Science held in 1997. The symposium covered topics in computational mathemetics and complexity theory.

by "Nielsen BookData"

Details

• NCID: BA31761504
• ISBN:
  • 0818679255
  • 0818679263
  • 0818679271
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Los Alamitos, Calif. ; Tokyo
• Pages/Volumes: xiv, 447 p.
• Size: 28 cm
• Subject Headings:
  • LCSH : Electronic data processing -- Congresses
  • LCSH : Electronic digital computers -- Programming -- Congresses