عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1092
QA
76
.
L28
Vol
.
1092
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Computer science logic : 9th International Workshop, CSL'95 : Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
EDITION STATEMENT
Statement of Responsibility Relating to Edition
9th: 1995: Paderborn, Germany
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1996
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, 485p.: ill., tables
SERIES
Other Title Information
Lecture notes in computer science; 2901
GENERAL NOTES
Text of Note
CSL'95 was the 9th in a series of Workshops and the 4th to be held as the Annnual Conference of the European Association for Computer Science Logic, at the University of Paderborn September 22-29, 1995
Text of Note
Includes bibliographies
Text of Note
3540613773
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Hans Kleine Buning, ed.
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Computer science
Entry Element
Congresses ، Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
L28
Vol
.
1092
OTHER CLASS NUMBERS
Class number
CA
Class number
004/
.
01/5113
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Kleine Buning, Hans
CO EACSL 4th: 1995: Paderborn, Germany
TI
SE
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Entry Element
Workshop on Computer Science Logic
