Proceedings : Fourth Annual Symposium on Logic in Computer Science

Author(s)

• Symposium on Logic in Computer Science
• IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing

Bibliographic Information

Proceedings : Fourth Annual Symposium on Logic in Computer Science

[sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing]

IEEE Computer Society Press, c1989

• paper
• case
• microfiche

Other Title

89CH27532 1954 264620X

Proceedings : Fourth Annual Symposium on Logic in Computer Science, June 5-8,1989, Asilomar Conference Center, Pacific Grove, California

Note

Includes bibliographies and index

Computer Society order number 1954

IEEE catalog number 89CH2753-2

Details

• NCID: BA06930406
• ISBN:
  • 0818619546
  • 0818689544
  • 0818659548
• LCCN: 89083865
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Washington, D.C. ; Tokyo
• Pages/Volumes: xvi, 402 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