1 option
Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / Hans Kleine Büning, ed.
LIBRA QA75.5 .W625 1995
Available from offsite location
- Format:
- Book
- Conference/Event
- Conference Name:
- Workshop on Computer Science Logic (9th : 1995 : Paderborn, Germany)
- Series:
- Lecture notes in computer science ; 1092.
- Lecture notes in computer science
- Language:
- English
- Subjects (All):
- Computer science--Congresses.
- Computer science.
- Logic, Symbolic and mathematical--Congresses.
- Logic, Symbolic and mathematical.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- vii, 485 pages : illustrations ; 24 cm.
- Place of Publication:
- Berlin ; New York : Springer, [1996]
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 3540613773
- OCLC:
- 34788224
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.