Skip to search
Skip to main content
Catalog
Help
Feedback
Your Account
Library Account
Bookmarks
(
0
)
Search History
Search in
Keyword
Title (keyword)
Author (keyword)
Subject (keyword)
Title starts with
Subject (browse)
Author (browse)
Author (sorted by title)
Call number (browse)
search for
Search
Advanced Search
Bookmarks
(
0
)
Princeton University Library Catalog
Start over
Cite
Send
to
SMS
Email
EndNote
RefWorks
RIS
Printer
Bookmark
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
Available Online
IEEE Electronic Library (IEL)
IEEE Electronic Library (IEL)
Copies in the Library
Location
Call Number
Status
Location Service
Notes
ReCAP - Remote Storage
QA75.5 .S9813 1991
Browse related items
Request
Details
Subject(s)
Computer science
—
Mathematics
—
Congresses
[Browse]
Logic, Symbolic and mathematical
—
Congresses
[Browse]
Related name
IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
[Browse]
Association for Computing Machinery
[Browse]
Association for Symbolic Logic
[Browse]
European Association for Theoretical Computer Science
[Browse]
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
Ask a Question
Suggest a Correction
Report Harmful Language
Supplementary Information
Other versions
Logic in Computer Science (6th Conference
id
99125316931506421