Skip to search
Skip to main content
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
Printer
Bookmark
Computer science logic : 16th International Workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings / Julian Bradfield (ed.).
Author
Workshop on Computer Science Logic (16th : 2002 : Edinburgh, Scotland)
[Browse]
Format
Book
Language
English
Published/Created
Berlin ; New York : Springer, c2002.
Description
xii,, 612 p. : ill. ; 24 cm.
Availability
Available Online
Springer Nature - Springer Book Archive - Springer Computer Science
Springer Nature - Springer Lecture Notes in Computer Science eBooks
Copies in the Library
Location
Call Number
Status
Location Service
Notes
ReCAP - Remote Storage
JSE 02-1949
Browse related items
Request
Details
Subject(s)
Computer logic
—
Congresses
[Browse]
Related name
Bradfield, J. C.
[Browse]
European Association for Computer Science Logic. Conference (11th : 2002 : Edinburgh, Scotland)
[Browse]
Series
Lecture notes in computer science ; 2471.
[More in this series]
Lecture notes in computer science. Lecture notes in artificial intelligence.
[More in this series]
Lecture notes in computer science ; 2471. Lecture notes in artificial intelligence
[More in this series]
Bibliographic references
Includes bibliographical references and index.
Other format(s)
Also available via the World Wide Web.
Other title(s)
CSL 2002
ISBN
3540442405 (softcover : alk. paper)
LCCN
2002030554
OCLC
50478490
RCP
N - O
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...
Ask a Question
Suggest a Correction
Report Harmful Language
Supplementary Information
Other versions
Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September / edited by Julian Bradfield.
id
99125147498506421
Computer science logic : 16th International Workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 2002 : proceedings / Julian Bradfield (ed.).
id
SCSB-4307136