Proceedings : Sixth Annual Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, The Netherlands / sponsored by IEEE Technical Committee on Mathematical Foundations of Computing [and] CWI, Amsterdam [and] Vrije Universiteit, Amsterdam ; in cooperation with Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science.

Author
Symposium on Logic in Computer Science (6th : 1991 : Amsterdam, Netherlands) [Browse]
Format
Book
Language
English
Published/​Created
Los Alamitos, Calif. : IEEE Computer Society Press, c1991.
Description
xvii, 417 p. : ill. ; 28 cm.

Details

Subject(s)
Related name
Notes
  • "IEEE Computer Society Press order number 2230"--T.p. verso.
  • "IEEE catalog number 91CH3025-4"--T.p. verso.
  • Cover ans spine title: 1991 IEEE 6th Annual Symposium on Logic in Computer Science.
Bibliographic references
Includes bibliographical references and index.
Other title(s)
  • Logic in computer science.
  • 1991 IEEE Computer Science.
ISBN
  • 0-8186-2230-x (pbk)
  • 0818622326 (case)
LCCN
89641304
OCLC
24583761
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...
Other views
Staff view

Supplementary Information

Other versions