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.

Availability

Copies in the Library

Location Call Number Status Location Service Notes
ReCAP - Remote StorageQA75.5 .S9813 1991 Browse related items Request

    Details

    Subject(s)
    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