An edition of Computer science logic (1994)

Computer science logic

7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

by , , and

Cover of: Computer science logic by Workshop on Computer Science Logic (7th 1993 Swansea, Wales), Egon Borger, Yuri Gurevich, Workshop on Computer Science Logic (7th 1993 Swansea, Wales)
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 14, 2024 | History
Edit
An edition of Computer science logic (1994)

Computer science logic

7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

by , , and

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer-Verlag
Language
English
Pages
336

Check nearby libraries

Buy this book

Subjects

Computer science, Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
Edition Availability
Cover of: Computer Science Logic
Computer Science Logic: 7th Workshop, Csl '93 Swansea, United Kingdom September 13-17, 1993 Selected Papers (Lecture Notes in Computer Science)
July 1994, Springer
in English
Cover of: Computer science logic
Computer science logic: 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
1994, Springer-Verlag
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references.

Published in
Berlin, New York
Series
Lecture notes in computer science ;, 832

Classifications

Dewey Decimal Class
004/.01/5113
Library of Congress
QA76.5 .W64 1993, QA75.5-76.95

The Physical Object

Pagination
viii, 336 p. :
Number of pages
336

Edition Identifiers

Open Library
OL1103240M
ISBN 10
3540582770, 0387582770
LCCN
94028234
OCLC/WorldCat
30734853
Goodreads
3816476

Work Identifiers

Work ID
OL3498167W

Source records

Scriblio MARC record
Library of Congress MARC record
Internet Archive item record
Library of Congress MARC record
Better World Books record
Promise Item
Promise Item
marc_columbia MARC record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
July 14, 2024 Edited by MARC Bot import existing book
October 4, 2021 Edited by ImportBot import existing book
July 30, 2019 Edited by MARC Bot associate edition with work OL3498167W
December 4, 2010 Edited by Open Library Bot Added subjects from MARC records.
December 10, 2009 Created by WorkBot add works page