This book is currently unavailable on Open Library, check out available alternatives.
An edition of Computer science logic (1998)

Computer science logic

11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers

by

Cover of: Computer science logic by Workshop on Computer Science Logic (11th 1997 Aarhus, Denmark), Workshop on Computer Science Logic (11th 1997 Aarhus, Denmark)
Nearby Libraries
Better World Books
Amazon
Bookshop.org
When you buy books using these links the Internet Archive may earn a small commission.

My Reading Lists:

Create a new list

Only you can see this

Save Note
This book is currently unavailable on Open Library, check out available alternatives.
Last edited by ImportBot
October 5, 2021 | History
Edit
An edition of Computer science logic (1998)

Computer science logic

11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers

by

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

Publish Date
Publisher
Springer
Language
English
Pages
509

Subjects

Computer logic Congresses Logic circuits Logic, symbolic and mathematical
Edition Availability
Cover of: Computer Science Logic
Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers (Lecture Notes in Computer Science)
October 15, 1998, Springer
Paperback in English - 1 edition
Cover of: Computer science logic
Computer science logic: 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
1998, Springer
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references and index.

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

Classifications

Dewey Decimal Class
004/.01/5113
Library of Congress
QA76.9.L63 W67 1997, QA75.5-76.95

The Physical Object

Pagination
viii, 509 p. ;
Number of pages
509

Edition Identifiers

Open Library
OL361991M
ISBN 10
3540645705
LCCN
98022163
OCLC/WorldCat
63890198
Goodreads
3585101

Work Identifiers

Work ID
OL1894162W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON