Proceedings : Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 1986

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 : Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 1986

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

IEEE Computer Society Press , Order from IEEE Computer Society, c1986

• pbk.
• microfiche

Other Title

Logic in computer science

Note

Includes bibliographies and index

"IEEE Computer Society order number 720."

"IEEE catalog number 86CH2321-8."

Details

• NCID: BA04334125
• ISBN:
  • 0818607203
  • 0818687207
  • 0818647205
• LCCN: 86081090
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Washington, D.C.,Los Angeles, CA
• Pages/Volumes: xi, 383 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
  • LCSH : Logic, Symbolic and mathematical -- Congresses