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

Author(s)

• Symposium on Logic in Computer Science
• IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
• ACM Special Interest Group for Automata and Computability Theory
• Association for Symbolic Logic
• European Association for Theoretical Computer Science

Bibliographic Information

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

Other Title

1992 IEEE 7th Annual Symposium on Logic in Computer Science

92CH31278

Note

Includes bibliographies and index

"IEEE Catalog Number 92CH3127-8"

Details

• NCID: BA18262000
• ISBN:
  • 0818627352
  • 0818627379
  • 0818627360
• LCCN: 91078307
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Los Alamitos, Calif. ; Tokyo
• Pages/Volumes: xiii, 471 p.
• Size: 28 cm
• Classification:
  • LCC : QA75.5
  • DC19 : 005.13/1
• Subject Headings:
  • LCSH : Electronic data processing -- Congresses
  • LCSH : Electronic digital computers -- Programming -- Congresses