عنوان
پدید آورنده
موضوع
رده
QA 75.5 .W625 1995
QA
75
.
5
.
W625
1995
کتابخانه
محل استقرار
NATIONAL BIBLIOGRAPHY NUMBER
Number
02BL0000000007485
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
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
First Statement of Responsibility
Hans Kleine Buning, )ed.(
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
1998
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, 429 p. : ill
Other Physical Details
, 7485 , 2-1
SERIES
Series Title
Lecture notes in computer science, 1092
TOPICAL NAME USED AS SUBJECT
Entry Element
Computer science - Congresses
Entry Element
Logic, Symbolic and mathematical - Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
75
.
5
Classification Record Number
.
W625
1995
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Workshop on Computer Science Logic, )9th : 1995 : Paderborn, Germany(
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Entry Element
CSL'95 was the fourth to be held as the Annual Conference of the EACSL
PERSONAL NAME - SECONDARY RESPONSIBILITY
Relator Code
AU
Relator Code
AU
Entry Element
Kleine Buning, Hans
Entry Element
European Association for Computer Science Logic, Conference, )4th: 1995: Paderborn, Germany(
