Proceedings : Symposium on Logic in Computer Science, LICS '96, New Brunswick, New Jersey, July, 27 -30, 1996

Author(s)

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

Bibliographic Information

Proceedings : Symposium on Logic in Computer Science, LICS '96, New Brunswick, New Jersey, July, 27 -30, 1996

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

IEEE Computer Society Press, c1996

• : paper
• : microfiche
• : case

Other Title

96CB35952

Note

Includes bibliographies and index

"IEEE Catalog Number 96CB35952"

Details

• NCID: BA28194031
• ISBN:
  • 0818674636
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Los Alamitos, Calif. ; Tokyo
• Pages/Volumes: xv, 535 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