عنوان
پدید آورنده
موضوع
رده
QA 75.5 .W625 1995
QA
75
.
5
.
W625
1995
کتابخانه
محل استقرار
H1
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
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
1996
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, 485 p. : ill
SERIES
Series Title
Lecture notes in computer science, 1092
GENERAL NOTES
Text of Note
CSL 95 was the fourth to be held as the Annual Conference of the EACSL
Text of Note
Includes bibliographical references and index
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
Relator Code
AU
Entry Element
Hans Kleine Buning, )ed.(
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
Workshop on Computer Science Logic, )9th : 1995 : Paderborn, Germany(
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
English
